I wonder what that 135 ran
It's probably ASR turbo car
They developed new turbos and ran this car on the track couple of days
I know it killed Porsche GT3 while it was on first stage of tuning and had about 435WHP
When they finished thier work it was pushing 536WHP comfortably without stressing new turbos

This is new turbo kit that's coming for our N54 engine (AKA 335i, 135i, etc)
Same stock housing, but garret bearings and cartrige for better flow
They look completely stock too for the same reason

ASR is located in FL, so it might have been the same car
It has that tall intercooler, which is not so common among the 135s