Computing with HDMI priced £3,200 or more