I just measured two rotors from two different manufacturers, one is an EBC semi floating rotor 5.2 mm thick .
The other is an aftermarket semi floating stainless rotor that was installed on an OEM hub or carrier, thickness, 5.2 mm .
I don't know what an OEM rotor has as an original thickness .
The original rotors on my '81 R65 got down to the minimum thickness on the high spots at 72,000 miles, 118,000 km .
So unless you don't like the rotors for some other reason, they should be good for awhile yet .