Hello, I smelled gas in the car (2003 Spider) and the RH pump has gas leaking on top. So the car is in the garage and I'm looking for a fuel pump. Does anybody have the Bosch p/n for the RH pump? I saw 0580313088 as being a possible Bosch part number but haven't been able to confirm it on this site. Thank you!