Eventide Staff
You could register it by contacting support@eventide.com with the serial number. There is no great requirement to do this.
Don't think there are any 4000 series user presets on the web site. Besides, you have 100's in the 4500….