There is no fear of “Work hardening” by milling the lug. Go slow & use machine oil. Or water if it’s set up. And opening opening up the slot would be equally easy to do.

But yes, you can just get a new one.