That's a good point. Just because we don't know, doesn't mean he doesn't know. I would expect AJ and Haas to have reached out to him, assuming that it's legal (I really don't know all the recruiting rules, so that's just a catchall, but I assume it's fine).