I don’t know actually - Jiffy Lube was first and drained the transmission fluid for sure but I guess they wouldn’t have messed with the clutch. I am completely ignorant as to whether these two systems are connected or if they would do both at the same time.
The Tire Kingdom guy may have flushed the clutch system since my issue is with the clutch pressure, but I don’t know that he drained the transmission fluid a second time. I will double check with him about it. He did tell me to go to a dealer if it happened again.
Since as you say the manual transmission fluid and clutch fluid are two different things, maybe it is a coincidence that the failure happened after a transmission fluid change. Will this type of problem get worse and creep into everyday driving and is it an urgent fix?
Thank you all very much for the prompt responses - I’ll have to see if it happens again after our vacation and I’ll come back to report in a little more than a week. I suppose we’ll be driving the sports car.