Are you sure is number 3 on the remote control?
I've found this:
1) boot from cdkroot
2) boot from USB with hdd
3) original images
4) boot from release
5) boot from USB without hdd
6) boot from SATA hdd
7) boot from flash