Wonder if 12-13 billion buys about the same amount as 10 billion last year, if the newer equipment is more expensive (vendors charging more per unit in anticipation of overall reduced demand, for example).