I live in downtown condo building and we give each staff member a separate holiday card with cash (typically $125 to super, $100 each to concierge, $25 to each porter with some adjustment for part-timers or those that just joined building).

For rental buildings, it’s more of a plus than a clear expectation. And $ amount lower than a condo building. Give if you can, and especially if you have a lot of interactions with staff (for instance if they’re receiving a ton of packages for you).

Giving a lump sum for an entire team feels like it leaves too much to discretion of the team lead. But can make sense if don’t have way to get everyone’s names.