hopefully they didn't cause any damage, if they shaved a little off the clutch cover i would flush the oil a few times, maybe even take the clutch apart if it makes you feel safer.
But other then that, perform the service bulletin on the clutch bolts, and you should be fine.