Are you supposed to tip a roofing contractor?

I’m paying a roofing company 00 to do my roof. Do you tip the guys on top of that? If so, how much?