I have just talked to customer support, and it seems that public facing OCLC services including Discovery and WMS (Circ/Acq) are back up and running. I got the sense that they are still doing a bunch of clean up on the back end, but everything we use should be stable at this point.