How much did he bank--after-tax--when he sold his interest in KSEX?