Just started googling, can't believe I've never heard of Raspberry Pi. I have several stripped-down x86 boxes that I've run Linux on over the years and turned into gateways, servers, and retro gaming consoles, but had no idea that something like Raspberry Pi existed. I think my 9yo son would definitely get into programming on one.
Thanks for the new information!