Yeah, size #1 phillips for dimmer screw
If I were to munt the plastic screw head, I reckon I would add a tiny amount of good glue to the screwdriver tip, hope it sets & never remove it.
Got to be easier than stripping the driver & replacing the butchered component