I would be inclined to fit a 13amp plug on the pump system and
plug it into an extension to try it. Be very careful of the
earthing arrangements and do not be tempted to do any more than
test it with this arrangement.

Why?

I had mine plugged into a 13A socket. The socket was RCD protected to 30mA,
although obviously not itself in the bathroom, as having a bathroom socket
is not allowed.

Christian.