RV Repair: Gasoline in water tank, rv supplier, junk mail

Question
My nephew borrowed my RV and 'accidently' put about an 1/8 of a gallon of gasoline into the water tank.  Is there some solution I can use to clean it?  Or do I just have to replace the water tank.  

Please respond with RV in your heading so I can retrieve the message from junk mail.

Thank you so much for any help!!

Denice

Answer
There is a fresh water tank cleaner and sanitizer made by Thetford and retails for around $13.00 that should take care of this for you.  It is a two part system, one cleans, the other sanitizes.  You should be able to get this from any RV supplier.

Garry