More to explore:
The Radio: An old tube radio, converted with a Raspberry Pi into a wireless Internet radio. The buttons and knobs all work, including fading in and out between stations when 'tuning', plus a button that starts a playlist of children's songs.
Raspberry Pi radio
Tube radio husk gets a web radio transplant http://hackaday.com/2013/04/16/tube-radio-husk-gets-a-web-radio-transplant/
To do: Raspberry Pi powered radio.