Computing with HDMI, Headphone Socket priced £800 or more