Another thing to consider, if the previous owner put a heavy aftermarket clutch in it and left the stock clutch fork, the clutch fork could have bent. They are notoriously flimsy on this car. You may also be able to pull the rubber inspection cover off the top of the engine and look down at the clutch. If the pressure plate is colored, it is not stock. If it is unfinished it could still be aftermarket though.
Inspection cover can be seen in this short video.