Looking for some recommendations and/or experience with fret sizes. I have a Gibson Jam Master, which is the second mandolin I've owned. The frets are somewhat smaller than those found normally on a Mandolin - I think this is by design, although I'm not sure why. I'm considering a change to either banjo frets or guitar frets - the idea being that larger frets allow for easier noting (???). I know of one mandolin builder who always uses banjo frets, and one that always uses guitar frets. Which one is larger, and would that make a difference? Thanks.