Question Author
I think you're right Dave. The pump should probably be fitted to the mains, outside but, again, it would be a palaver when you needed to get a new pump. They don't seem to last that long.
I just wish that fitting a plug was a bit less fiddly.