We paid about 9800 for a Grandee about a month ago, so the price you paid doesn't sound too far from the mark (at least for the suburbs of Washington DC). I have talked with some people who paid more, and some who paid less. I think the real key is if you are satisified with the tub. After you add on all the variables for installation, steps, cover, lifter, electrical, and the rest I think you will find that a few percent difference in the tub is not a big deal, especially given that the HS should last for years. We found more difference in the quotes for electrical hookup than anything else.
Bill