The Song-Beverly Warranty Act requires new car manufacturers to provide restitution of the purchase price to the buyer of a defective car. (Civ. Code 1793.2(d)(2)(B).) This decision holds that if the buyer trades in or sells the defective car. the trade in credit or resale price is not deducted from the restitution that the manufacturer must pay, at least when the buyer has been forced to trade in or sell a defective vehicle due to the manufacturer’s failure to comply with the Act.