Imo, if it’s ok and set to the right height I would leave it, I’ve only ever changed a nut once , I bought a jazz and the end at the G string was broken off, I gave it a gentle tap with a small piece of shaped wood and it came out easily for me to replace it, luckily it wasn’t glued in but I know sometimes they are glued in 🙂