A round hand file will get you that extra mm very easily, and I agree, a Dremel and a few appropriate bits is one handy, relatively inexpensive tool to have around the house.