5,000 BTC might seem a lot, but they're less than 0.05% of the total coins in circulation. I want to remain optimistic that this will gradually increase, and at some point it may increase exponentially. Just as a low-hanging fruit, we should wait and see.
I can give you a more detailed explanation on why that's necessary once you confirm that it has worked.
I'm just reminding this, because I honestly never understood what was the purpose of all this hassle and bustle. Funds' restoration should be rather trivial thing to do.
The software returned the private key in hexadecimal, not in WIF. This is why I made this:
https://github.com/AngeloMetal/BitcoinJavascripts/blob/main/wif.js. For anyone interested, you're just feeding it a number, and it returns the private key in WIF. I couldn't find such program, didn't trust any site that does this conversion, so I just wrote it myself.