Sounds about right to me. Introverts don't necessary hate being around people, just being not being very good at actively seeking interaction can be enough. For people who tend to not make much contact unless necessary, an office environment can be very valuable.