Quite. Weird that the pump made specifically for water butts had nothing, but I did buy it second-hand so maybe the instructions specified otherwise.
In any case, I’m going to change the outdoor socket to one with an in-built timer, change the active RCD plug to a normal plug, and install an...