@1efe3b1d Nice. 🙂 I have an older one. Only downside: it defaults to off when power is lost, so you have to manually push the button to start it. Hope they fixed that in the meantime.
@98a5ecd5 good point; I've not seen anything in BIOS related to that, and indeed after pulling plug it stays off.