I'm looking at upgrading my silver M3 RWD and I think I've found a silver M3 performance. It doesn't have a badge, but I've attached a picture of the software screen. Does the red underline indicate it's a performance model? Is there anything else I can check? Seller is a dealership that has it listed as AWD.