Computing with USB Type-C priced £5,200 or more