Understaffing the desk isn't really your concern, unless that means they give poor service. Your total holiday tipping is the concern. If they are able to diligently serve 400 apartments with only 3 people, they are fucking unicorn rockstars and deserve a whole lot more money.