I'm probably going to replace the nut on my Mira. Last year I strung it up with 13s for a while and had to open up the nut slots for the thick strings. Then I put 11s on it again and the A string is just cut a bit too low. I get some buzzing on the 1st fret.
So, for those of you who bought string nuts from the PRS Store, did you install them yourself? Were any modifications needed, such as sanding down the bottom or anything? Getting 2 for $28 is a way better deal than going to a tech and getting one for $50 or whatever it costs these days.