It’s posted now, and time given was 9:30 am. Our stats were not updated in the New York Times because it was so late. I really thought they just weren’t going to report today because it was so late. Of course that is DeSantis’s plan.