I searched high and low for the type of plug that fits the T5 inverter socket. Questions had been asked about this before but people answering just gave a link to what they use. Others had bodged something to fit.
SO....... apparently, on eBay, it's called a "Brazil" plug.