A file and a sander will do the job putting a small round-over on that edge fairly quickly.
A file and a sander will do the job putting a small round-over on that edge fairly quickly.
--
The most expensive tool is the one you buy "cheaply" and often...