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?