I just put a new fuel pump on my son's 2003 f150. When I dropped the gas tank, I broke a sensor on the top rear of the tank. Anyone know what it is called and what it does? Are these sold aftermarket?

Thanks,
WOW
Will Walker

 

Pressure sensor.
Rock Auto about $50.