Ok, drop everything and bring you and your budget to UT Dallas. ;-)
Disclaimer: Im a grad student at UTD.
As far as the speed of the machines go, I would get the fast ones and maybe go to the trouble of outfitting them with quieter fans/heatsinks and barracuda HDs. Its important for the machines to be somewhat quiet.