Yes, that is correct. He has those options.
I think it's better if I ask the questions. How long does it take for a ticket to be reported to the DMV?
In some cases it can take several days for a ticket to be reported to the DMV.
We just moved. Will that be an issue?