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