No doubt. "Big iron" for me is something like a $30k Dell R910 (pretty beefy for commodity x86). I'm guessing these mainframes go for at least an order of magnitude more per unit. A sibling post added some interesting facts (and without the condescending tone of your post), but the question remains: if the hardware is so superior, why aren't Google et al using it? Surely they can afford it.