Minimum brake disc front i30, year 2018, 140hp, 50tkm

Hello, my daughter’s friend recently drives an i30, built in 2018, gasoline, N-Line , 140hp. He bought the car from Autohero. I noticed the relatively wide brake discs on the front axle, the car has almost 50tkm down. I measured the discs today – 23.7mm to 25.5mm at the edge (possibly due to rust slightly more than 25mm). Unfortunately, the disc diameter with mounted rim can be poorly measured. But would type on the 305mm, which then has 25mm new and should be at the wear limit at 23,4mm. Since Autohero advertises with high quality standards, I am of the opinion that the discs belong to renewed. How do the workshops handle this in the context of normal service? Would I be pleased with answers.