The mechanic checked the hydraulics for leakage and it was good. He drove the car and thought it was good too. I'm going to try the leakage test that you mentioned.
There was a new throw-out bearing put in a while ago, but it does make that noise when the clutch is in. I hear it if I go through a restaurant drive through.
The oil was changed less than 5000 miles ago. It first received synthetic gear oil which was a disaster. Then that was replaced with synthetic ATF which was much better.
The shifter feels good and all gears are easily found.