Well... First offical Ring time for 991.2 Carrera GTS Coupe(PDK, SPASM/PDCC, RWS): 7.22min with new Corsas.

So, this 7.29min only makes senses if it means manual gearbox. Even then time is not impressive. Btw, my source said that manual GT3 is at least 5s slower on the Ring then PDK-S version.

As Grant wrote 7.19min would make sense.