Tipping Supers as a Condo Renter

I've seen a lot of advice on this matter but I cant seem to figure it out. I just moved to the city last year so I've never dealt with Supers before. We tip our Super for the holidays, but we just got a new Super. He just fixed a hole in our sink, took like 5 minutes. We rent in a condo unit, so i understand in a condo building the super is only responsible for like the hallways and general building stuff, not individual unit repairs. But am I supposed to 'tip' him the equivalent of what I would've paid a plumber?? That's like what $150, and the reason I didn't call a plumber. Help!