Computing with Quick Start Guide, USB Type-C priced £4,600 or less