A mechanic at Keener Auto Repair in Clarkston GA broke the plug, even after I told him I couldn't get the two middle one's out. I didn't think I had to tell him to be careful.
I figured rethreading was what would have to be done for about $1,200. I called another mechanic who estimated $700.
I have sockets and might try the other products people posted here.