I have this set. I don’t build guitars, so the nut files are a bit of a luxury for me and they don’t get a ton of use, but I’m very happy with them. They are expensive, but I guess you are paying for accuracy and quality - I’m not expecting to ever buy another set. I’ve got my money back in not paying for set ups - although there’s always a risk I’ll do more harm than good … couple of swipes too many and it’s new nut time!
Of course that’s entirely your choice but I think that your shipping, customs, and tax would need to be around 50 Euros before they became at least as expensive as the Ibanez files, which in all likelihood are OEMs of the Hiroshima files.