If you’re looking those mini files up, you might want to also try typing in “needle file kit” and get a full kit that has a blue plastic holder. They come in oil to protect the steel from rusting in storage so just wipe the oil off and try them out!
Search for an "Escapement Equalling File" similar to a needle file, but thinner and shorter. Here is a link: www.riogrande.com/product/friedrich-dick-equalling-escapement-file-5/114826GP/?code=114826