I have a 2012 Cascadia with a 10 speed Eaton manual and I always take my truck to get greased and recently I changed shops and I go to a small shop where I park my truck. Very honest guys. They told me my clutch doesn't even have a place to grease the throw-out bearing and they found the last shop was just sticking their grease gun into the cover plate for the clutch and just pretended to grease the clutch. Does my clutch need to be greased or do some have lifetime grease in there already? Sorry I'm not a mechanic and I'm new in the business. Any clarification would greatly be helpful.
I'd be extremely leary. I haven't seen a non-greasable release bearing. Maybe they exist but I've never seen one. I'd take the inspection cover off and look up at the bottom side of the release bearing. Sometimes mechanics don't install the whip hose and just leave the grease fitting in the bottom of the bearing. Also check around the cross shafts on the bellhousing. A lot of times there'll be a fitting on each side as well.
Thats why i will always say grease it yourself. Good to get under trk and see how every thing is doing. Your people may be great..but they don't have skin in the game.