The real cost was more like $8,200 though:
$1,100 for a set of new tires and tire pressure sensors
$300 for a used brake master cylinder to fix a failing pump/accumulator
$300 in other miscellaneous parts (air filters, spark plugs, driver's sun visor, radiator cap, fuel filler cap, HVAC knobs...