Yes, that was interesting. I hadn’t realized that DR wouldn’t take the CEO role himself, but given his far-flung business empire, it makes more sense to hire a full time CEO. That will be an interesting hire for sure. DR has a lot of experience hiring top execs to run companies, so hopefully he’ll bring in someone talented.