Deducting 25k does not mean taking home an extra 25k. It means, probably, somewhere around $1-3k, depending on their tax bracket.