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.

Sean