Sure? But RPi's are anemic and not cheap while refurb mini PC's are $400.

So, there's quite a bit of pricing room.

I think the mini PCs they're talking about are more likely to be N100 systems or similar that are sub 100 dollars new. Significantly less anemic, and their hardware media decode (which is well supported by software) is more than sufficient for realtime 4k playback.