The USCG reports their system is back on-line and they will produce a Vetted List today.  It may be delayed somewhat, but will be published.