I'd also be interested in seeing what people come up with for their tunes.
With a stock turbo on an otherwise fully modded '02 on S1 tires, I managed a 7:11.XX around the 'Ring with a less-than-perfect lap.
With your suggested MS (S2?) tires and upgraded turbos (Original?), there should be plenty of sub-6:30:XX times.