I say just listen to the guys at the shop since it is a very inexpensive fix. Just take them off of the car yourself and get a ride so they don't charge a fee to do that for you. Around here it's maybe $12 a rotor for that to be done.