Is Ray Tanner still retiring in August?