... Möglichkeiten Edelstahl zu bearbeiten und verarbeiten ...
Also 10er VA-Blech würde ich mir Laserschneiden lassen, das geht bei der Stärke auf Zehntel genau und die Schnittfläche sieht unter 13 mm noch sehr gut aus. Kostet im Zuschnitt pro kg, je nach dem, wieviel Schnittlänge im Verhältnis zum Gewicht das ist, rund 6, max 10 eurudos. Wasserstrahlen als Qualitätsschnitt wird unter 6 € liegen, wiederum wenn die Kontur nicht total komplex ist. Als 3-D-Schnitt kann Lasern schon mal teurer werden. Beim richtigen Lieferanten kommt auch kaum Verschnitt dazu.
... Standbohrmaschine ...
Na ja, klar. Wichtiger ist hier richtiges Schnittwerkzeug und die richtige Schnittgeschwindigkeit - Edelstahl neigt doch etwas zum Schmieren.

Bei Wahl einer geeigneten Qualität (1.4404 bzw. 316L, blos nicht 1.4571!) - könnte man das gute Stück polieren - und braucht zum Saubermachen nur noch Spüli (wenn die Interna gut abgedichtet sind - aber bei einem Panzer ist sowieso IP68 das einzig Sinnvolle).