Thanks, I had no problem getting to the BIOS menu and changing the boot preferences from Windows boot manager to USB. It was very easy. Unfortunately, it did nothing to resolve the problem. A tier one support rep tried to walk me through updating the BIOS via instant messging. He lost his nerve when the t100 BIOS menu options did not match his scripted support responses and I mentioned I wanted to avoid bricking the device. At that point he asked if it would be ok to set up an RMA and I relented out of fatigue. It looks like the BIOS upgrade cleared the problem for at least a few others. Anyway, I am in RMA land now. I am going to open a thread about RMA experiences in North America to see whether I can expect my PC back before Christmas. The rep told me it would be 5 to 7 business days from time of receipt if there were no "special problems."