Not necessarily. If they were smart, they stocked up on the units they expected to sell more of.
If they were smart they would still have supply of the higher spec'd model available rather then lose out on a customer. I was told they get shipments in frequently during the week so I assumed they just simply sold out of the 2.53ghz since their last shipment.