I know of a guy here in houston that has a mach...went 12.40's, only mods were 4.10's and a K&N filter. :)
Go with the GT or the Mach(depending on price, of course)...Lightnings really aren't that fast out of the box... mid 13's on average, maybe half a sec quicker than the much much cheaper GT.