This is a little off topic, but I'd love to get some advice from HB readers. I am a new transplant to NYC, so I'm not used to this whole holiday tipping for doormen. What are some basic guideline and expectations? Our building is pretty large with probably 10 doormen rotating shifts.

What's a realistic amount to tip each of them?