How would one have figured this out? I assume only because it's documented in a service manual? Would this be within the BIOS if one disassembled the code?