That is unfortunate but either way.

Happy Christmas everyone, and have a good holiday.