Thanks to good work by our dealer (RTCC) getting the bits, we have today had the extra bracket/pins added to the brake pedal to fix the concern raised in the MMC message. A neat enough job that overcomes the strangeness of the original design pointed out by Wilson.