Porsche (GT3) RS 4.0 - Fastest lap at Laguna Seca

Fastest lap at Mazda Raceway Laguna Seca in a stock Porsche RS 4.0 street car
Time: 1:33.098
(Only mods are different DOT tyres & roll bar & harnesses)
Is this a lap record for a full interior, street legal, Porsche 911 at Laguna Seca?
If anyone has a video of a faster lap at Laguna of an unmodified 911 GT3 (full interior, factory aero, factory engine, 993/996/997/991) please do share and post!