That brought a smile to my face just now, Joe. I hadn't realized yet that this is Nov. 11. Even as late as last year, my old man (who died this past January and was a WWII vet) noted that Nov. 11 was Armistice Day. So happy Armistice Day, veterans.