I know there are tons of aftermarket "Performance pedals" being sold, but I don't see the Tesla-branded ones on their shop site anymore. Has anyone ever bought these for $150 and compared them to the less expensive aftermarket pedals? How different/similar are they? I looked at the Tesla parts catalog and they don't sell the pedal covers separately - they have different part numbers for the entire pedal assembly.