On another note, if none of Satoshi's Bitcoins have been spent already, then the keys are probably lost and will never be spent.

I don't know what you're basing that on.
I have files which I've been moving from computer to computer going back 12-15 years and I've never lost any of them.