They showed the last four digits of around 20(?) keys and their associated BL_ID's, Badspot confirmed later in the thread that they were correct for those BL_ID's. It's most likely that they had the full key, because multiple people have proven multiple methods of getting a full key from the key.dat file. Even if at the time they only had a trick to extract the last four numbers, they most certainly could have done it afterward after multiple people posted concept attacks.
Yea I guess they could have it. But the key I'm using now they have the first 4 digits, and nothing has been done with it.
Sorry for getting a bit off topic, but this does sound like a good idea.