The IRG hot water pump