@kbohls and it’s Texas Independence Day, which is a national holiday. 🙂