If HP and Dell bought up 5600+ chips at higher prices, then they would indeed have an inventory problem which would explain why they are still charging the old prices for the high-end chips.