Here's what I did
After I stripped out the Phillips head, I soaked each one in WD-40. Then took a Dremel with a cutting wheel and cut a slot in the screw head to receive a wide slot bit, fairly deep so it has some bite. Then took an impact driver, start slow and let it hammer a bit without slipping, and it came right out.