Chris, I get you. The issue for me is whether a double course of strings might feel better with a certain size of frets. You know, width, height. The crowning of said frets, I will leave to my luthier.
The original frets are on the guitar and they don't feel too good to me. I think they could be dressed, but it would be the last time. I think I'd rather start with new frets.