Chiphead: Since you got it at the shop do this, drill center pilot hole use your easy out, make sure it good and tight, then apply heat to broken stud. Take your time don't rush,done many this way and they finally back out. Remember your working with heat and easy out, patience is the factor. popcorn
The Truth Is Out There