Coning off totally geodesic boundary components of a hyperbolic manifold

Let M be a compact hyperbolic manifold with totally geodesic boundary. If the injectivity radius of the boundary is larger than an explicit function of the normal injectivity radius of the boundary, we show that there is a negatively curved metric on the space obtained by coning each boundary component of M to a point. Moreover, we give explicit geometric conditions under which a locally convex subset of M gives rise to a locally convex subset of the cone-off. Group-theoretically, we conclude that the fundamental group of the cone-off is hyperbolic and the image of the fundamental group of the coned-off locally convex subset is a quasi-convex subgroup.