I've already found out that a spiral screw extractor is not backing
out a snapped-off brass 10x32 screw.

Would a straight screw extractor work/. Available sizes seem to start
at .250 and up, while the 10x13 is roughly .156

Anyone make a straight screw extractor for #10 screws?