Gaithersburg went down on December 8th, is there confirmation that it's fully functional again?

https://tf.nist.gov/tf-cgi/servers.cgi

Says it's still mostly up.