I didn't see any of those Option during the Upgrade process ! Just followed the directions and everything went well.
http://www.amiko-a3.us/guides/AMIKO%20ROM%20%5BSOFTWARE%5D%20UPDATE%20INSTRUCTIONS.pdf
..
.
There is a Learning Curve to this, but all I can say is WOW ! Very impressed with this Receiver. I too, wish there was a "SAT Button" on the Remote as well!
I'm using a WSI 741 Standard with a Ecoda 22khz Switch( External ) and running a Gbox, without any issues. Except the 5 sec Delay for the Gbox to kick in.
.
Every once in awhile mine has done that to me.
Had to Disable the Limits to get it to go further in that direction, then I reset the Limits again.
* Also,it seems it's only the East Limit that is affected on mine.