Anyone know the best way to trim plastic keytops after they've been
installed on the keys?  I've thought of filing by hand, a belt/disk
sander, scrollsaw or bandsaw, but all seem difficult to get good results
with this type of work.