Happy to help, and best of luck with the screw that has been boogered up with the screw head. Remember that these are brass and soft, so there is a chance that you could be VERY careful with a really sharp but small chisel or sharpened flat head screwdriver and try to get it out to be replaced with another new one. You could try drilling it out on a drill press, but the risk of slipping and damaging the threaded walls is high unless you are very good with a drill press and your doesn't have a tendency to 'walk' around on you.
I have never done it, but my thinking is that you first lube up the hole really well with penetrating oil. Then, VERY carefully without touching the threaded walls of the hole, tap the sharp screwdriver into the brass head just enough (don't smash the snot out of it) to get it to bite so you can try to then turn the screw out. I would suggest maybe covering the metal shaft of the screwdriver (or tiny chisel) with several wraps of electrical tape or small plastic tubing so should it rub the threaded walls it won't scar or fold the fine threads in there.
If it is running fine, I'd leave well enough alone.