Sollte eine lange "Klozeit" von der Arbeitszeit abgezogen werden?

Wir haben einen Kollegen, der jeden Tag sehr lang am Klo sitzt.
Meistens fast eine halbe Stunde. Zusätzlich zur Mittagspause
versteht sich. Wir überlegen jetzt, dass wir den Chef bitten, dass
er ihm die Klozeit von der Arbeitszeit abzieht. Weil so lange kann
kein Mensch brauchen. Ist das okay von uns?