Merry Christmas. The info formerly housed here is probably available in the the Muppet Wiki: MUPPET WIKI