Never hurts to ask.
I mean, really. So what if some grump gus is annoyed that you ask? Did anybody command him to answer you?
Its their problem for being distracted (and, apparently, being too uncharitable to say, "Hey, here's a fellow that didn't think of the search feature or didn't know about it; I can help him. Its not much; but, I can actually help another human being by just directing him to the search feature."). Its his problem, not yours.