I believe he got everything back
I hope so, all the more reason to backup now to paper, and so should everyone else.
Plus, as we've seen it isn't enough to have backups, you need to verify them each time too if possible - I know it's a pain in the arse but it saves grief down the road.
Nobody takes backups seriously until it's too late and they're screwed.
A newbie question - how do you back up to paper? Is the private key stored in plain text? Or is there any app to get it out of wallet.dat?
I have a few digital backups but would not mind the paper as well
http://paper.darkcoin.io/
Make sure you send a small test amount, like 1 coin, and try to import the private key, before you send all of it. Otherwise you will lose 14 drk when your printer cuts off part of the private key and you don't notice till later.