imho, it would be better to fix it now while its out of the car, than to install it and then wish you had...
Drill the center out of the stud with a smaller bit (3/16 or less, I would think). Then PB Blaster and an easy out for the rest of the stud. With the center gone the pressure is reduced & it should come out pretty easy, without having to re-tap the threads later.