540i's with the 6-speeds run low 14's out of the box. With the Dinan chip, exhaust, intake, and headers, (and about $6,000 later), I can see how he would be in the mid-high 13's. But he would have to have an ass-ton of money to get it in the 12's.