Couldn't they just hardfork the client with an input of the lost 15k as a hardcoded transaction? and then continue the distribution as normal from that address, so anyone with the old client would be left on a dead blockchain?
You seem to know your stuff. Why not PM the dev and give him a helping hand?? Maybe you could save us