Brake fluid in the gas tank

I have got to go with the mechanic as I know no better, I am not sure of what type of brake fluid put in, the probability it was ethylene glycol based, and I would do a treatment of sea foam now and after just for kicks.