I saw an early 528e at a junkyard and the odometer numbers were red/orange and the 55mph on the speedometer was orange! What this from the factory option or an aftermarket change to the odometer numbers?