It was fine at first, but around 500 miles in, it started to engage 3rd gear really rough, like there was a clink that made the shifter stop dead before continuing to slide the lockring into place. It kept getting worse, especially in the cold, so I drove it over and had them test-drive it after letting it cool off overnight. Of course, nobody could replicate it but me, so I had the technician hold the base of the shifter while I shifted, and he did feel what I was talking about. His solution? Grip the shifter more tightly, shift at higher RPMs, and give it 5000 miles to fully break in. He also suggested getting synthetic gear oil put in the transmission at the first oil change. Sure enough, it worked. It was my technique that was changing, not the behavior of the 3rd gear synchronizer. Revving higher and holding the shifter tightly (like I did before I got to know the car better) did the trick. Not too happy that there's cheap gear oil in it, though. Gonna have to do something about that.