If they say it took longer than 15 minutes, be skeptical, lol!The part is $15.00. I am not sure what the installation will run.
More important (and it may be politically delicate), ask them to show you their 3mm torque wrench attachment. That's the key to making this fix safely, and it's an uncommon tool.