There's no mention of the credit on my invoice either, but I know the dealer subtracted the $4500 from the after-tax price. I guess want I to know is whether or not the $4500 should be deducted from the before-tax sales price (thus lowering the out the door after tax price).