Link to the Muppet playing at DDC <http://www.youtube.com/watch?v=tnhRygGGKEA&list=UUoJZE2-kY9vdBjNj1OkE84A&index=2&feature=plcp>