Above option is the best if you can order the part.
Also achievable by filing 08-20
I would caution though that parts like these are not designed to function with material removed, and I doubt that they have been case hardened or similar as they would be in a real one. So a real risk of breaking.
But defo buy the part if available as this will retain value if you decide to ship on at some point.