Computing with HDMI priced £800 or more