Thoughts on dealing with problematic teachers who are tenured?