Just had heating redone. Big ish company and the lads were really nice. We’d like to tip but how much? DH says £100 each ( there’s 2 main guys) I say £50 ( I earn £60 for a days work) wwyd?