After reading a lot here I ended up using an old Dell Laptop power supply/charger. This has a 7.4mm plug (the right size), output 19.5v DC 9.23 Amps which suits the battery charger dock.
I had to cut and resplice the Dell cable as the Dell plug wiring is Outside = earth (Good), Inside =...