There's no answer to your questions or doubts for your own particular instrument. What would a guitar tech do..? He/she would check it with a fret rocker, and, if it warranted it, would set it back to the correct height, most likely with a brass or nylon mallet (or, if there's very little, with a fret dress and re-crowning...). All the other frets would get a check, whilst it's on the bench, with maybe a tweak of the intonation before handing it back, all fixed and ready to go. There would be no discussion as to how guitar makers set up their tooling for cutting fret slots (many are done by hand, anyway...).
Soooooo... Either leave it as it is, bite the bullet and do the job yourself, or take it to a competent tech for set-up. There's not much point in over-thinking things. Just my tuppence-worth; hope this helps.
Douglas