Another quick update, I took the car out for a spin yesterday around town and as usual the clutch pedal was sticking in a few spots. However, after driving for about 15 minutes it smoothed right out. Again, before I went on the long trip at 70-80 MPH, it had never done that. I'm thinking about taking another couple long trips to see if just running at speed for a while will continue to improve the situation. Once the clutch pedal smooths out, the car is just a joy to drive with that transmission...