Tickets are good. They give you tangible credit for your time spent helping someone. If they are interrupting your manager the same way they interrupted you, instead of sending a request in an efficient manner, they saved you the trouble of you going to your manager to ask for help dealing with the person being a nuisance.