A quick note for those of you who use the watch list to set up option trades: the expiration date for all options on the watch list today should be July 12. The system is showing an earlier date, likely because it isn't accounting for the holiday.
If you have any questions or feedback, I'd love to hear from you.