I’m glad somebody picked me up on that. Thank you for that and many other very entertaining posts. Merry Christmas.
Merry Christmas to you, too.