Should varsity sports count as PE credits?