@mgiugliano I went with a https://www.ebay.co.uk/itm/261870863580 It works fine.

Hello all. Does anyone happen to know, or to quickly measure the dc jack barrel size? Mine is elsewhere and I want to wall mount it, and the cable needs to be extended. I am guessing its a 5.5mm...