I think I've convinced myself to open up the fuel tank and drain it. It's only a 35 gallon tank (I think) and it's maybe 1/3 full.
Think I could empty it with a hand operated bilge pump?
Trust me I know better than to use an electric pump not designed for such purposes.
