You're right; I've not been thinking this through properly.
I do also want VGA to HDMI though. Options include a simple £18 converter, or a £100 surcharge to get one in the same box as a switch. I don't mind paying for convenience but some things are just stupid. :/
EDITED: 4 Apr 2018 22:55 by BOUGHTONP