Yes, in the past they've come out at 5 p.m. or later -- probably when the clerks have time to actually file it.