By the way, folks, this is really all friendly banter. A merry Christmas to all our contributors! Jim, have a good Christmas and see you in the New Year if we haven't been shut down by then.