Pienso que te estás metiendo en gasto excesivo en el AVR con un presupuesto no holgado.
Un X3500 X3600 o un SR6013 tienes AVR más que de sobra y te sobra pasta para cajas ...