Computing with HDMI priced £3,600 or more