Sales tax is not included, but I do see now how it is being calculated in the Tax & Int Worksheet. In that sheet, 2a asks for the total RE taxes paid (say $5000). 2d is the personal portion of RE taxes from Schedule E worksheet for principal residence, which is a portion of 2a as I have a room that I rent out (say $4500 as $500 is associated with the rental room). The total taxes (Schedule A, line 5b) is the total of these two, $9500. To me it looks like the portion associated with the principal residence is double counted.
