If you have under 10-ish staff, write a card to each, include the tip in those cards, and you can give the cards to the staff you may not interact with to their colleagues to pass out or drop them in a box if your building provides one.

If you have much more than ten staff, chances are your building does some sort of tip pooling, so participate in that, and maybe slip anyone who has gone above and beyond a little extra.