Actually the Magic sailed not long after I left my post (about 8 pm Eastern time). I posted here and then switched back to watch the camera and she left about 10-15 minutes later. I assume the repairs were to the stack, but don't know if they were partial or complete repairs. Hopefully someone who is on the Magic now can give us an update.
I was happy to see they weren't too delayed in sailing though with the dinner rotation I would think they didn't have a sail away party.