This is the right math if he's stuck there for 5 years, but his opportunity cost is lower if he can exit the role earlier if the company isn't trending towards the exit he wants.