We're supposed to tip everyone all at once around the holidays instead of piecemeal. We always tip everyone $50 - $75 at that time - this year we're trying to go up to $100 per guy but we have 15 building workers including doormen, porters, and maintenance guys, so it's a stretch. We've always tipped everyone equally but we're considering reducing how much we give Jose or, alternately, giving the guys we've seen covering his ass something extra. Since he has kids, we still want to give Jose a decent tip, but I wish there was a way to give the money directly to his kids so he ever gets his fat paws on it. Goddamnit, Jose. Stupid fucking Jose.