<human>: Can you condense the text into a few key points?

I am a freshmen in college. There is this one guy who I've kind of ended up being friends with who has ended up sort of in my circle of friends, that I really don't like. I feel like an awful person because theres nothing specifically wrong with him, he just does a lot of annoying things. He's heavily extroverted and always wants to hang out and chatters endlessly when we're all eating together, but as an introvert I tend to find this annoying and exhausting. He doesn't do anything specifically bad, its just little things like never shutting up, chewing with his mouth open, waking me up with text messages, being generally immature, etc.

I find myself preferring to be alone rather than hanging out with him (my circle of friends is neutral on him but agree that he can be annoying) but I don't want to hurt his feelings. I just don't know how to avoid him. For example, he just texted me asking if I want to have dinner in the dining hall with him. I'm really tired already and he's tiring enough to be with that  really don't want him to completely deplete my energy and ruin my mood. But I don't know what to text back.
<bot>: I'd really rather not be friends with this guy, but I don't know how to gently get him to leave me alone because I don't want to hurt his feelings.