The stock pump if in good condition should be fine.
But if its the original pump from 1983, then it will be worth replacing it.
You could fit another stock replacement, but while you are going to the trouble you may as well fit a Walbro 255.
Pretty sure your car runs an external pump, but its worth checking (just above the diff on the drivers side)
Bookmarks