If it's just the Allen drain plug that is stripped that would be a much smaller issue. I'd fix it myself. The part is cheap and it's not worth the throwing a fit or the time sitting around at the dealership waiting for them to fix it. Now if it was the drain plug threads, whole different story.