Uitgegaan wordt van de normale werktijd van 07.00 uur tot 16.00 uur op maandag tot en met vrijdag. De tijd gedurende welke zal worden (over)gewerkt en die afwijkt van hetgeen is overeengekomen, behoeft de goedkeuring van gemeente De Ronde Venen alsmede van alle betrokken leidingexploitanten en eventuele andere belanghebbenden.