52-62 seems like a normal, or better than normal, retirement target, no?