Sounds like it. I’m not sure if your problem is hydralic (master and slave cylinders) or simply a worn out clutch disc. Once they take the clutch apart it is better to replace any suspect parts. If you have 100K + miles on the car a clutch job is not out of line with that kind of mileage.
Clutch life is highly variable depending on the driver(s), and the kind of loads put on the clutch say if you live in an area with lots of steep hills.