Found this little guy on eBay; seems to be a fair bit below market. This is the lower-end model with a Core 3 100U, but that's still a 2P4E processor with two Thunderbolt 4 ports. Might make a nice little box, particularly when combined with a PCIe chassis.