Music to my ears.
So it's going to be happy holidays for all? Or won't we know for sure until January?