Observe carefully, if you feel any slight grind in gear lever when shifting to first gear with engine on and it disappears with engine off.
This grind is most noticeable while shifting to first gear and occurs least as you go to higher gears. If it's that slight grind, flywheel needs re tooling.
Whatever work you do, take photos of it before and after, to seek better guidance.
Some shops do mess up tooling occasionally.