Dealer? $750 sounds.... about right.... in Atlanta anyways.
Somewhere else? Not sure... good luck tho... u can save yourself some loot by changing stuff out yourself, like plugs, filters, wires, fluids... but I wouldnt touch the Timing Belt/Water Pump - I'm too damn novice

Good luck.

PS - Found some receipts....
Timing Belt/Water Pump = $435 (this includes coolant change)
Tune Up (includes lots stuff) = $325 (this invoice conveniently lacks detail on that part ....)

I'm kinda skeptical over dealers.... that's why I bought the book
on the Del Sol :thumbup:
I'ma do it myself next time.

and $4 for a front left fog light