Just a quick post that I honestly meant to get out before now to wish any of you a happy whatever holiday you celebrate. My holiday was a mixed bag, but it was better than being at work. And I only work 3 more days before taking 10 days off in which time may be a road trip (we’re talking New Orleans right now). Anyway, seasons greetings to all and hope you have had a good one.