my suggestion would be creating a new wallet (remember the usual security precautions, and since that key has already seen BCI, it can be considered compromised), importing the troubled WIF key and exporting it back (I've tried that with an intentionally-corrupted key and it appears to work).
I'll try this now.
Update: it worked, thanks you very much!
Are you sure it's the entire key he sent you, has he tried to redownload the private key?
He sent me the full string:
{"addr":" .................. created_device_version":"1.0"},
So there's no way he forgot a part.
Can you get him to download the entire wallet data and try to pull the private key from there. (Only if no one else knows how to do the checksum). You might want to contact blockchain they can get the encrypted wallet file to you in its entirety.
He did contact blockchain.info, but isn't expecting an answer any time soon.
Have you tried inputting it into a wallet so see if that'll add the checksum?
Electrum doesn't accept it.