10-K is due on TUESDAY. Yes, they use calendar days, but because Monday is a holiday, the 10-K is due the day after. Look for it then. I doubt we'll see it today.