I understand that the power supply needs to be 65W 19.5V with a Connector Size: 4.5mm X 3.0mm (Blue Tip With Pin Inside). Is this correct? In which case there seem to be plenty available at a reasonable price, eg those for an HP Pavilion PC such as this one https://www.ebay.co.uk/itm/GENUINE-...OP-CHARGER-65W-19-5V-AC-ADAPTER/362562422808? Can anyone confirm this please? Makes it a lot easier looking for a suitable power supply if it is a standard one like this. Many thanks.