Glad to hear he's OK.

//