I'm curious how those living in downtown JC (specifically Newport) handle the tips for your doormen for the holidays. I'm a renter in a high-rise (Aquablu), and we have 4 doormen that I've noticed. How much do you folks usually tip? And what about the maintenance staff?

Silly question I'm sure, but also one I bet a lot of people are thinking about this time of year.