We got a cleaning service for my Dad's house and this is the first time. They have been there for about 3 hours

Should they get a tip on top of the huge bill? and if so how much would you say? (there are 5 people)

TIA


I also posted on NFR but thought i should try here...thks