The isometry group of the Urysohn space as a Levy group

We prove that the isometry group $\text{Iso}(\text{Ur})$ of the universal Urysohn metric space $\text{Ur}$ equipped with the natural Polish topology is a L'evy group in the sense of Gromov and Milman, that is, admits an approximating chain of compact (in fact, finite) subgroups, exhibiting the phenomenon of concentration of measure. This strengthens an earlier result by Vershik stating that $\text{Iso}(\text{Ur})$ has a dense locally finite subgroup.