I don't recall that car, are you sure the pump was original? Did it have a cooler? Do you have any pics?