$4.69

File, mini diamond:

Excellent for blade and tool sharpening or anything else. Durable and compact size for home or kit use.