Yo lo hice con un destornillador de precision de los mas pequeños, para modificar una de las fuentes que salen en mi web. Es mejor que un afiler porque tienes mas por donde agarrar y puedes hacer algo de palanca.