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.
Edit: never mind, 2.5G is now the default, so you'll probably need more than 40 people to saturate that with streaming video.