JP15 nut broke, looking for replacement options

Im looking for some advise on replacing a broken nut on my JP15. I had planned to just replace it with the same plastic nut that comes stock, but Ive never been in this position before so any advise would be greatly appreciated. Thanks!