My friend's guitar neck has shrunk, leaving the fret ends proud enough to cut his finger tips.

Do you have recommendations on a fret-end file and a technique for doing this without damaging the fret board or neck?