Groups definable in o-minimal structures: structure theorem, G⁰00, definable amenability and bounded orbits

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.