Computing with Portable, USB Type-C priced £4,200 or less