Merry Christmas everyone! Or... happy holidays if you prefer.

Dave