An earlier post named a gas tank sealer to use - should've written it down. :'( Can someone remember the name? (Cleaning the tank and crosspipe first with Purple Cleaner was recommended also.) thanks, Paul