gracias por las respuestas, al final cogí el 9400 pork de precio era igual que el 6700
un saludo y gracias