I would drain the tank, a few dollars of fuel is not worth damaging anything on that car