the video says the car is stock, less a stock lightning pulley. my question is, if the s/c is driven off the accessory drive belts (i would assume it is) how much is the boost up'ed with the lightning pulley? if the boost is turned up quite a bit, the 12.9 gets less and less impressive. -Chris