Did not see this tonight so just wanted to say Happy Birthday to the Marine Corps. And happy Veterans day for all the rest tomorrow.