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?