The plug arrived, and it fits! I still don't know the part number of the sensor itself, but it's some kind of GM camshaft position sensor. I followed the instructions on this page to figure out which pin was which so I'll know how to wire this new plug into the factory wiring.