I'm looking for an alternative to the flat file for smoothing PCB edges after cutting them on a table saw. A flat file is OK for 2 or 3 boards, but it gets tedious when you've got 30 or so to smooth. I keep looking for a dedicated PCB edge sander at the hardware store but never find one. What are the rest of you using? Belt sander? Dremel?