Chantepierre,
Like you, I'm currently making a 16 inch f/3.3 mirror (actually, two). The substrates are not plate glass but Schott Borofloat (borosilicate) so the behavior when working the blanks (grinding and polishing) will differ. Among other things I believe plate glass is softer and perhaps easier (faster) to polish?
Nevertheless, I encourage you to take precautions and double check for any presence of remaining pits during polishing. Maybe 17.5 hours of polishing is enough in your situation, maybe not. There Is no harm in polishing too much. On the other hand, polishing too little will have a detrimental effect on contrast should any pits remain. In addition, it's very embarrassing to see that hazy ring around the periphery after the mirror comes back from the coater. Ask me how I know that...
So to be extra careful and critical, inspect the glass surface for any signs of a lack of polishing and keep polishing if you have any doubts. I don't only rely on the laser test to check surface polish. I also examine the surface with a small magnifier like this one available for a very reasonable price on Amazon:
I've currently polished both mirror blanks about 18 hours. Don't know how well the pictures will turn out but, here is what the edge, just inside the bevel, looks like through the small microscope at a magnification of 60X. Many pits still visible, although much fewer than just after fine grinding ended:
And here is what the glass looks like about 1.25 inches (32 mm) away from the bevel, showing very few pits:
As for the remaining portion of the central 12 inch surface, the mirrors are fully polished.
A few additional details about the polishing technique I'm using for these two mirrors:
- Mirror blanks are meniscus in shape and only 1/2 inch (12 mm) thick
- To prevent scratching the thin, fast mirror blanks, I ended fine grinding with 9 micron aluminum oxide
- All "rough" polishing is being undertaken mirror on top over the glass tiled grinding tool, covered with polishing pads
- The mirror blanks are stroke polished on a machine at a rate of 28 strokes per minute over the full size tool
I expect close to 30 hours of machine polishing per mirror will be needed to get rid of all the pits. If more is required, I will keep going until all pits have been polished out. I will then switch to a pitch polisher and polish an additional 5 hours per mirror to make the mirror shape perfectly smooth and spherical before undertaking parabolizing.