Yes, somewhere on here I posted a comment (about something else) a couple of weeks ago, and I mentioned that I had spoken to Bob and he was in the middle of the sale at the time. Apparently, it wasn't public info yet, but most people didn't really pay much attention to that part of my comment.