Yep, but that was nothing to sneeze at in 1992. Not to mention that you could make that same car run high 12s/low 13s with about $100 dollars (couple gallons of 109, boost controller, and unhooked exhaust).