Yes, 3.0 5 speed. He also owns a silver one that was the first year for the AT. It's kind of ratty, but he bought it for cheap since it was a fixer-upper. I've also driven that, and it is not quick around town. It's probably okay if you are someplace where you can let it get some revs; the AT is a long-legged 4 speed. That car was underwhelming to me.
His red one, however is so cherry that he's nervous about driving it because it's so cherry! Here are some pics I took of it that show the condition.