Thanks, Ali. I highly doubt it too. But shall do some sneaking around to see if I can get a good look. The disks are clearly visible so they are much easier to check - the old ones were down to 9.2mm thickness, I believe the min. specs are 10 mm thick for this car (BTW, how thick are the new discs supposed to be).
The car brakes pretty smoothly - the "mushiness" in the pedal has reduced a bit. I noticed the brake fluid was over the max mark - is that a problem?