See, when one drops the car off a service writer writes it up and it's then dispatched to one guy. That guy can be a "kid", lube tech, etc who knows almost nothing about your car. Being that MTs are rare these days compared to many years ago and that MTs rarely have any problems, I can understand why a Jr tech might not know much about how to properly diagnose a clutch problem but then too, your car should have then been dispatched to a more experienced tech if one exists there.
Chances are good that that dealer has at least one real tech who'ld know better but unfortunately that guy didn't get your car so you then got incorrect info.
If you ever go back to any dealership and your car needs more than an oil change or basic service, request that a Master tech only works on your car as people can do that and often do where I work.