Legal costs of Deep Springs going co-ed