There is one man here today who installing about 10 windows. Is it appropriate to tip him? How much? We ordered through a company and are paying quite a bit for installation on each window but I'm sure the guy doing it isn't seeing what we paid