@tej 
There is a site in Portugal that sells individual Hosco nut files and there is a .009”” one at €19.50. Still pricey but none of these tools are cheap.
https://guitarsandwoods.com/index.php?route=product/search&search=Hosco&sub_category=true&description=true