[hotrod]

FWIW a teflon seal pump should be good for just about anything someone wants to run through the pump, such as ethanol and other less commonly used alcohols.

It might very well be a multi use optional configuration.

larry