USED HP EliteDesk 800 G6 MINI Desktop PC Intel i5-10500T 2.30GHz 16GB 512GB SSD W10P - Walmart.com
HP has been making Mini PCs with K Series Chips for a few years now, I've only used the 35W version before. Would be very interesting to get some temperatures and performance