If only all the ticket checking staff work their hours of duty at their respective places of work (not the office cubicle), this amount would have been at least double. Anyway, this news should moralize the other staff as well -- perform your assigned duty.