It's beenĀ  a while, but cutting the circle with the angle grinder only took about 30 minutes or so.

The polishing took about an hour (polishing pad grits: 50, 100, 200, 400, 800, 1,000, 1,500, 2,000, 3,000)