Merry Christmas Eve and thanks to Santa Claus for all his potentially tax-deductible work today