A backup would not be of any help the way they were sending the coins. Each time they sent 1000 to someone, the remainder of the bulk is always sent to a newly created address. If the wallet is lost at some point, then with the backup you will be able to access only old addresses - all of them already empty.