Melvang,
I am happy to buy full sized tools, but they seem to come full sized. AKA are so big, how can they be relied on to cut something as small as a grove in a Cherry plate hole for a switch? I was looking at a file of the kind that AGMurdercore had, but I simply couldn’t get anything with that diameter locally. Minimum diameter I could find was 8mm which is way, way bigger than our requirements and will leave a big hole.
Looking at your McMastercarr.com options, I will keep the file you recommended in mind. But I think it’s going to be a tough fit inside that Cherry hole. You don’t recommend a round chainsaw file like AGMurdercore was using, do you? A round file of course seems more appropriate for making semi-circular switch moddable holes.
And are you sure about the push stroke? PUSH, meaning hold the file and push away from me? Does this work for the majority of files? I was PULLING on the files from my new set. Maybe it was my crap technique?
The guy at the hardware shop actually told me all his files could be pushed and pulled, but I am suspicious of his competence. In Singapore most of the hardware shop folks are barely educated (I’ve ranted about being directed to candles when I asked for solder wick).