Thanks for confirming that.
Every (non private plate) car I’ve seen so far has been “AO72 xxx”, so Lotus must be doing the registrations,
The dealer (or in this case, Lotus) sends a registration document to the DVLA, the government agency. The dealer normally has a list of available...