Coring a manhole