>> We've got some budget left for hardware, so I'm looking for a server >> suitable for running Plan 9, preferably as good as I can get for about >> $3000-5000.
You could build a 140-processor raspberry pi cluster for $4900, leaving $100 in the budget for power supply (490 watts) and wiring. Have to wait a few months for delivery though.
