GenVibe - Community for Pontiac Vibe Enthusiasts

down low below two pulleys there,s a small gadget with a wire to it. when my mechanic worked on it he did not have a fresh gasket or o-ro=ing( I forget). any way can someone please tell me what the small gadget is for. photo couldn't,t be posted.?

could it be the crank position sensor?

crank position sensor it is. thanks