Absolutely, and as others have already pointed out, it's on the dealer to put this right. Either refund the customer, pay for the upgrade, or take the car back.