Sensor on Top of T5?

[Z28EATR]

Well i just bit off 5 teeth on the 3rd gear of my tremec and on the top of the case i pulled the sensor and on the inside there was nothing but a tiny little hole, after searching the bottom of the tranny i found a tiny looking push rod stuck to the magnet in the bottom. My dad told me that pin is used to push the ball bearing on the sensor in which in turn actuates the tail lights, but i might not be talking about the same sensor as you guys, but it is the only one on the top of my tranny but its kinda in the front.