I'd be surprised if either him or Butler left.
I was talking to a Baylor Fan at our game vs them and they said that Butler would be a four year guy - did not go into details but referenced something that would preclude him from going to NBA. He would not elaborate on the details, but was sure they would be loaded for a few years.