Carol party fun

Thanks to all who came to the packed-out carol party, and made it such fun. Thanks especially to everyone who helped set up, who brought stuff, served stuff, who led carols and who washed up.