I'm not sure, but since it sounds like they opened the BIOS just to close it and boot normally, I would assume that they thought of it more as a command than an option.
I've seen it a lot since I work in an IT field. Sometimes people think that the computer is telling them to do something when really it's just giving the option to do something.