Handelt es sich bei rot um "Empire Rot"? Meine Freundin hat den KitchenAid Wasserkocher 5KEK1222EER und würde daher gerne die Küchenmaschine in der gleichen Farbe für sie kaufen.