If it were me I would dump it, beside the gas being bad, he will also have some moisture (water)in the tank and it will give him nothing but headaches next time he uses the boat, if he has a fuel/water seperater I would replace that and keep an extra filter on board. The cost of replacing that 30 gallons is less then the problems he's going to have if he uses it.