Well, Texas doesn't have to worry about Mikael Hopkins coming for a visit in October