[angry18thaway]

We are actually considering to pay them but we still need to justify the expense and ask for approval to our finance team. It might take a while (both our side and probably theirs too).

Setting up a mirror would be trivial instead. I'm not asking by any means any support or time from him, even a ZIP file hosted on GitHub Releases (where bandwidth is "free") would've worked.

[EspadaV9]

Paying the €250 is surely cheaper than any amount of you or your teams time to set up your own mirror of the old files? And would be done in a few minutes compared to multiple hours or days.