No real relevance here but I just realised that Mike Tannenbaum....his last name is German for Christmas Tree.* Read into that what you will *For the pedantic, yes, I know it actually means 'fir tree' and the folk song got appropriated as a Christmas carol, but it'll do.