@matigo I'd checked eBay to get an indication of prices and found them to vary between a realistic $45 and a wildly optimistic $120. I put a price of $40 or near offer on it, which was the selling price.
The buyer is a teacher who'd failed to integrate an older Apple TV into his workflow and a 4k version was ideal, he said.