core nut

I just bought a used Tremonti and it is currently set up with 12s in drop C. I assume the nut will need to be replaced to get back to the 9s that it originally came with. Looking for the best/easiest replacement, buy a core or tusq? Other?