> The wallet.dat file is located in the Bitcoin data directory and may be encrypted with a password.
I guess they have the encrypted wallet.dat, but not the password for decrypting it.