Tipping the staff during the holidays is a custom, not a requirement, but you’ll be in the minority if you don’t do it.

The precise amount depends on the size of your building (the larger the staff, the smaller the individual tips), quality of service, staff seniority, length of time you’ve lived there, whether you own or rent (more on that below), personal chemistry, your financial circumstances, and whether you’re frugal, generous, or somewhere in between.

Here’s a general average framework, for you to use as you see fit:

• Super, ...