Subtract the SALT from the total RE Tax paid and the result is your maxed out RE tax.
Skip the SALT, use the sales tax option, if the RE tax is close to 10,000.
