He may very well have the one that came with the motor. Depending on the make many did not have the electric carb until '85, '86. I know because I have owned several of the same year cars with different carbs from the factory. The books may try to tell you one thing, but don't let them kid ya. They sealed them puppies up from about '80, '81 and not all had TPS's until about '86 then most went TBI.

As far as drilling goes, you are correct. We usually drill them. The hacksaw trick does sound a bit safer though. I gotta admit.