So from my understanding, leftover tags go on sale 8/1, But the list of available tags isn’t available until the 8th? I understand the whole system is government operated, so there is no surprise from me I just want to make sure I’m understanding it correctly..