I work as a junior-ish software developer in a small team inside a fairly large company. We've recently hired a new senior software developer. He is very good at what he does, with lots more experience than me or anyone else in the team regarding the main piece of tech we use; all in all a sorely needed addition to the team.
With his wealth of knowledge (and my lack of it) it is understandable that I need to ask him for help, sometimes quite frequently.
However, recently I have found it more and more difficult to do so. Whenever I approach him, his demeanor immediately changes. His tone and body language indicate to me that he doesn't want to spare 5 minutes explaining what is a basic concept to him. It all feels very hostile but in a subtle way. He does not behave like this with the rest of the team, who are more experienced than me. This has lead me to believe that he simply doesn't like me because I am not as skilled.
This belief might be enforced by the fact that he does not greet me in the mornings, even if I am the first to say hello. Perhaps a cultural barrier, but nonetheless a barrier.
Consequently, I now feel very uncomfortable approaching him about anything. This has impacted my performance and in turn it is making me stressed.
I've not had this issue with the other co-workers before. I've resorted to getting help from them but they often wonder why I'm not asking the senior coworker since he's an expert.
Annoyingly, my manager is not part of our small team so I am not sure if divulging this to him will be helpful, if at all advisable.
I am beginning to hold a grudge based on emotions against this person, which is not something I want to have. I want to rectify this issue now before it completely derails my work environment.
How should I proceed?