It was a Lenovo minipc with an Amazon customized bios that wouldn’t offer boot options. I found some guides to get around it, but they were well beyond my capacity, so it’s been returned. Ended up getting an older used hp elitebook off of eBay. Cracked plastic on the corners knocked it down to less than $100 with some careful sniping, but it’s plenty for me to fiddle with. No complaints so far.
Their mini pcs seem like something I’d like to revisit. Pretty rebuildable and, seemingly, a common enterprise choice. Parts will always be around for something like that