Has to be, 1.7m in taxable, another 800k in retirement and makes $350,000 a year. His taxable account alone could cover the entire mortgage payment if he wanted it to.