I've got a '72 1010 Travelall w/dual tanks. The tank selector no longer works, and even if it did, there's only a 9 gallon capacity in the 'main' and an 8 gallon in the auxiliary, which is a pain on long road trips. Does anybody know if there's an oversize tank available? Rich Littlejohn