Yes.
The buyer would might have been willing to pay $15,000+, but wanted to anchor (and start low) so went $4,500. The real max was introduced when the seller gave the $15,000 number... buyers never want to or will reveal their number (i.e. the $7500 was a lie.)