Harvey is 87, Thompson is 63.
I must have inserted what he'd be at the end of his contract in my memory...
63 isn't too old. Wish he would run.