In the end, it's all a judgment call.
If you bias a bit over 70%, but play the amp full-tilt and see no redplating (may take a darkened room to see the onset), then you're fine.
I just re-looked the triode and pentode comments on mismatching in RDH4. It did note that "the effects of mismatching are more serious in pentodes than triodes". But if you know first that push-pull operation with perfectly balanced tubes, circuit & OT cancels all even harmonic distortion generated in the output stage, and that RDH4 is written from a perspective of engineering to high-fidelity standards, well... Then mismatched output tubes means you'll likely get more distortion in your output section.
Severe mismatching (60mA in one tube, 10mA in the other) could temporarily erode the OT's ability to transfer power from the primary to the secondary. That's because the mismatched idle and presumably signal) currents will tend to magnetize one half of the primary more than the other, and looks like d.c. through the OT in the direction of the higher-current tube. Push-pull OT's use smaller cores for the same power through-put than single-ended amps precisely because equally-balanced idle currents looks like 0mA d.c. to the transformer. The push-pull OT core then is only big enough to transfer the full power of the output stage, rather than full power plus some extra core material to support the magnetization due to idle direct current.
So even severe mismatching idle currents might only lead to OT core saturation, and another form of distortion (as well as some shaving of bass response at max power).
Mismatching could be a problem if it's bas enough to let hum through the OT to the speaker. I don't know if you've had a tube try to burn up while you were biasing, but other than the red plate, what usually happens is you hear hum in the speaker as the tube current is getting really out-of-hand (I heard it once when a tube lost bias, right about the point it hit 110mA or so). Hum at the 1st filter cap is usually cancelled by the balanced nature of the push-pull OT and because hum from the B+ is applied common-mode to an OT which transfers differential power from primary to secondary, but greatly imbalanced tube currents seem to overcome this somehow.
Assuming the amp's power supply/heaters would support it, your customer could put a KT88 on one side and an EL84 on the other side (keeping each tube biased within its limits). The amp wouldn't be able to develop clean output power in excess of using a pair of EL84's, but neither the amp nor tubes would suffer as a result.