It's definately worth reporting at the time. The least we will do is report it to systems control who can monitor and investigate the situation. If we feel it is a significant reoccuring problem, we can submit an MOR. Unless you tell us about it at the time... we won't know!