Do they even have the private keys for the addresses? I thought that the .gov had not recovered those. If they don't have them, they won't be selling...