As mentioned earlier, if it's got 12v supply it's a 12v DIN accesory socket.
You can either buy the specific DIN plug (https://www.ebay.co.uk/itm/184074624749?hash=item2adbb3deed:g:bW0AAOSwtYRd7NIX), or an adapter to use the UK 12V plug (
https://www.ebay.co.uk/itm/23130379...ustomid=ce4cf88b117fd6deae0b6911682fbf52)