Yes, I mistyped, our engine is the AMG 32 engine, which at the time was the highest efficiency belt-driven supercharged engine. In reading a bit about it, detuning of the supercharger seems unlikely. The intake/exhaust may not be as good as the AMG or the ECU parameters may have been changed.