if the unit was registered before the new Eventide website, it would be necessary to register it again. That's the only way you can get the OS.
In the meantime we are trying to upload the latest DSP7000/7500 OSs in the Dsp7000 page for you. They should be up as soon as possible…but you need to register or you won't be able to get the update. Sorry for the troubles.