My building used to distribute a list of all the staff during the holidays to encourage tipping but they’ve stopped during the last couple of years. I still request a list of the names and prioritize tipping the concierges, maintenance team and cleaning crews. I’ll only tip the property managers / supervisors if I’m feeling extra generous because I’ve never interacted with any of them and I’ve noticed a steep decline in the building activities they arrange throughout the year.