Update: I don't think 2nd grinds after all. I can't tell if it's supposed to feel that way, though. If I double-clutch shift, it feels smooth as can be. Synchros maybe? I did tell the salesman that it was definitely grinding and he just said "yeah, I think so."
I really like how it drives and the gas mileage isn't doing as poor as I thought. I told the guy that the price would have to be a lot different for me to buy it, because of all the things I would need to fix if I drive it away.