Hi Ralph,
I agree with Dave, don't go back to 80 and don't use Tool-on-Top unless you really overshoot. I wouldn't have used 80 grit on a 7" mirror f/13 anyway but then I never made one!
F/13 is a long focal length, what are you going to use it for?
Charles