In hindsight, the ADP and Paychex numbers for June appear to have been accurate.
4.02K