So we have inground sprinklers being installed today.. the prince is 1950, do I tip on top of that? There are 3 guys working since 830... should I just give them 2000?? help!