Should I tip the guides at the end?

Should I tip the guides at the end?
Jesper Dinesen

From IMG website:  “A show of appreciation for a job well done is always appropriate. We think you’ll agree that the guides go above and beyond the call of duty to make your climb as safe, successful and enjoyable as possible. Our guides typically pool the tips and share them equally. Your contribution to the guides’ tip pool can go directly to the lead guide on your program and will be appreciated by all of them! If you make out a check, please make it out to the lead guide by name. If you make it out to IMG, we are required to deduct taxes. The amount of tip is at your discretion, but tips for excellent service normally average 10-15% of the cost of the program.”