Hi all: I’ve acquired a Hofner travel bass and the11th fret on the D str is high. A machinist rule will rock if centered on that fret. This causes the string to buzz when the 10th note is fretted. Set up is good except for that, no issues anywhere else on the fret board. Should I try to tap down the fret or simply file it down. Thanks for sharing your experience.