Devin was in and out of the operating room in about 15 minutes. All is good - more updates later; as I'm getting this by phone from Stephanie.

--- UPDATE ---

All went quite well. The procedure went as planned (under 15 minutes) and everything is satisfactory. Devin was a bit cranky afterwards, but was in great spirits for most of the day. That's about all I have to say about that. :)