Well... People make think its B.S. and say its me b/c I had made my username Just Some Guy at one point. But it is not me. My friend had met a guy that claims of a 12.8 all motor in Boca Raton, FL. I also heard this from a second party. Though it has not been confirmed I put it up there anyways, mainly so that it would give everyone hope.
As for the 94 Sedan, I think it could do a 15.8 on its better days, maybe even a 15.7. But average a 16.0