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.
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.
