Buenas, Quería saber para los F32 en color rojo, la denominación o denominaciones (si había + de 1) que daba bmw a ese color. Gracias