True re: the Raspberry Pi, but I was thinking the 10Gbit Ethernet would allow more concurrent streaming in my household. But it's probably overkill.

If your household consists of more than 15 people consuming 4K content at the same time, the 10G upgrade may be worth considering.

Edit: never mind, 2.5G is now the default, so you'll probably need more than 40 people to saturate that with streaming video.