I would not do anything different. In total, I have stripped two screws on two previously owned R9s. In both cases, the screws appeared to be somewhat stripped by the previous owners. I just made things worse
I don't have any problems with newer screws.