Computing with HDMI, USB Power Delivery priced £4,000 or less