a 20 min cut off is no problem anyway cos as soon as you turn the tap off at brush end and the pump stops,the heater resets itself so you have another 20 mins when you turn it back on.
i dont have the heater/pump running constantly for 20 mins anyway without turning the tap off a few times.(getting paid off a customer,going from upper windows to ground floor,sorting my hose out etc)