If there are still many years left, he is to refund the cost of his redemption. 