There were no reboot options. The damn thing wouldn't turn on. My friend now has an XPS13 (which he had for just over a year before an issue with the fan prompt

There were no reboot options. The damn thing wouldn't turn on. My friend now has an XPS13 (which he had for just over a year before an issue with the fan prompted him to return it to the retailer for repair; amusingly the retailer screwed that up and offered him a new one as a replacement).