Have a good Veterans’ Day, 3.5 readers. If any of you 3.5 readers served, thank you for your service.