I was doing some relatively hot laps at Pacific Raceway last Thursday and after about 15 minutes I noticed the clutch pedal wasn't coming all the way back up. After cooling down everything was fine, but then it happened again midway during the next session. No problems in street driving conditions. I've heard aeration of the fluid may be the cause. Anyone else had this?