Cam intercooler gen5 and probably ported heads... it most likely makes "400 CRANK hp" using ricer math.. it wouldnt be hard to say it makes more than that actually.
12s are more than possible. I had a car doing 12.0s all day at 3200lbs on donkey dick slicks, 94 octane, a gen3 , stock heads no intercooler and a nic cam. A local guy with e85 and an intercooler was running similar times too.