All sorted. As far as I can tell, the TTX3 bios does not support a boot menu at all, all you can do is select the order in which it boots from the internal SATA drive channels by going into the BIOS via pressing Ctrl Alt F9 at boot, entering the password, changing the boot order, and then...