I did that with my first J back in the day, probably not gunna try it here lol. Both the pulling part and the playing after I find quite intimidating.
I’ve convinced myself to have small frets put in, I’ll have to email the shop and see what they’re using. Even though I’ve retrofitting over the years I’ve always gone with whatever the shop is using at the time.
I guess it’s a good chance to try some mando frets?