Between the Dual 533MHz and the single 733MHz processor, which one is better? It seems that the Dual 533 would be better, but if that is so, then why were they sold for $1000 cheaper? Reason asking is I'm planning on buying one just to have and I was curious to which one would be better.