Hot Springs Red Water Pump:
(It pumps Hot Springs Red Water.)