Zum Thema "Ein Poliertool für zwei gleichartige Spiegel" kann ich ein wenig eigene Erfahrung beisteuern:
Ich habe mal zwei 180mm f/5,3 Spiegel mit einem gemeinsamen Tool geschliffen und poliert. Obwohl das Tool beim Feinschliff auf beiden Spiegeln perfekt gepasst hat (zum Schluss wurde ständig zwischen beiden Scheiben gewechselt), konnte ich beim Polieren nicht mehr ständig zwischen den Spiegeln wechseln, sondern musste die Pechhaut bei jedem Wechsel kurz neu anpassen, sonst hat sie "gebockt". Das Parabolisieren ging natürlich nur individuell. Am Ende hatte ich ca. 1mm Brennweiten-Unterschied.
Zum Auspolieren würde ich auf jeden Fall ein Volltool nehmen.
Bei 12" f/5 ist das Parabolisieren mit einem Volltool praktisch nicht mehr möglich. Dafür würde ich zumindest ein zweites Tool mit 18-20 cm Durchmesser und Einschnitten am Rand (Sterntool) hernehmen. Mit Interferometrie kann man zusätzlich gezielt lokale Korrekturen mit noch kleineren Tools durchführen, damit habe ich aber bisher noch keine Erfahrung.
Gruß,
Martin