Have a great Christmas everyone. I would wish you “Happy Holidays” instead, but don’t kid yourself - it’s Christmas, doesn’t matter what you choose to call it.