The next step in that remedy is not to replace the stripped screws with stock HD buttonhead screws, only to have the same thing happen again in the future.
Replace all of the derby cover screws with a better quality hex head screw.
I replaced all mine with socket head screws that match the screws on the rest of the primary.
First time I had to take the derby off my 10 I snapped off two Snap-On bits trying to get the stupid tiny torx screws out. I ended up drilling the heads off of 3 of them (like above) since some idiot put them on - in a bad mood - with god-knows-what.
I then did about the same, hardware store, allenheads, never a problem since.
Scarlet Red 2010 Road Glide Custom named Trixie - She's a flashy little minx..
Basic black 1981 Tour Glide Classic named Alice - She's a sleeper project.