Ok, thanks for that.
On a related topic, does anyone know whether, if I got an external 13a socket and mounted it on the wall near where my charger would be installed and I asked nicely, the installer would be likely to hook it up for me while installing the charger? I know this may vary between installers, and wouldn't mind paying a little extra. Has anyone done this?