Common problem with older receivers that came out before the satellite launched.
Couple of ways to remedy this:
1 - You can rename any satellite in its list. Then edit the transponders**
2 - Add the satellite and transponders**
** to match what's listed as active on TheList (link on the tops of the pages here) or at other listing sites.
Be aware that since that receivers introduction, a newer transmission type is often used that it will not get.
That being DVB-S2 - Digital Video Broadcast - Second Generation. It is only capable of the DVB transponders.
It also is only MPEG capable in the audio/video. No MPEG4 video, No AAC or MPEG4 audio capabilities.
That being said, programming those type transponders is a waste of time.
Menu- Installation - should get you 'in' to where changes to be made can be done (It's been a while since I played with my 3500 - IIRR the default password is 0000.)
EDIT: shouldn't really need to change the firmware it's running. Just edit as needed the programmed sat info.