Cualquier micro de los que apuntas tiene unas prestaciones muy superiores a las necesidades de un usuario estandard.
Los AMD tienen muy buen comportamiento y su precio suele ser mas bajo, aunque eso va por barrios.
Yo dividiría el presupuesto entre 10 y buscaría equipos con la mayor cantidad de RAM, que es lo que va a darle al usuario sensación de potencia, dentro de lo que me puedo gastar. Si además, al proveedor le puedes apretar las clavijas y hacer que te haga un buen precio por la compra de diez equipos, mejor.