We are finished with an extension and refurb project this week. We hired a company to do it who then brought in their own tradesmen (electricians, carpenters, etc). They have been fantastic. And while I know they are just "doing their jobs" and get paid by thehead builder we hired, we would really like to recognise some of them with a tip. Our decorators for instance came in today (Sunday) and worked 8am-7pm as we are on a tight deadline for tomorrow. How much would be a reasonable amount to tip? We are shorted cash and don't have it to throw around but on the other hand don't want it to be so small as to be insignificant to them. Any ideas? What are the likely to be paid on a daily rate by the head guy?