  We settle some open problems in the special case of groups in o-minimal
structures, such as the equality of G^00 and G^000 and the equivalence of
definable amenability and existence of a type with bounded orbit. We prove
almost exactness of the G to G^00 functor. We ask further questions about types
with bounded orbits in NIP theories.
