This being November 11, I want to wish a Happy Veterans Day to all the vets on this site (or perhaps I should say Happy Armistice Day to my European friends). Being a Vietnam-era vet myself (a time when it generally wasn't a good idea to advertise that you'd served in the military), I understand how much it means to be recognized. Anyway, as they say, thank you for your service. | 
