Computing with DC Input, HDMI priced £800 or less