After taking my car to a local shop to get it checked out, they told me that the TPS is internally shorted, and I'll need to get it replaced and adjusted. I'm currently stuck on debating between an OEM and aftermarket TPS as the price difference is a good amount.

Does anyone have any suggestions on which TPS I should get?

Car Details
1991 RX-7 Turbo

 

The aftermarket one may actually be fine but I'm surprised there are any other manufacturers as the s5 has an unusual design.