Theis is still better than Timelord. Only trade Theis if we are getting a first round pick ( won’t be unprotected ) and to match salaries for a much better player or to avoid the hard cap if we are using the full TPE ( for instance we trade for DeRozan).
Otherwise Theis won’t complain about minutes because he is an ultimate professional and a team player.