Some Worthington teachers trade pool time for class time