Sadly he lost them forever, and since the DRM keys are unique he won't be able to reuse the keys of another device. There is no way to get them back. But as a "fix" he can use the DRMFix program developed by sToRm//, which can be found here. That is just a fix so he can use the camera without having green pictures, it doesn't mean the warranty or the drm exclusive features are back.
