Computing with HDMI priced £1,200 or more