How many men does it take to mend a puncture?

Lots seemingly! They were quite efficient in the end though so we still got back before the rain started.