Cut down a 7mm drill, shank sand to the right length, job done.