It seems the only way to check on such a thing is to ask the trooper if he ever issued a citation. Left a message for him today. Of course, if he had somehow forgotten, he has now been reminded
but better than it being lost in the mail and me going to court because of it.