It's so easy! Set your Mr. Manhole cutter diameter a little larger than the repair. Cut and remove the repair. Rebuild as usual.

Product Link: https://mrmanhole.com/engineering-specifications/

Resource: https://www.youtube.com/watch?v=G5CfEBwJWUw