Rolling tool for permanent mirror deformation https://youtu.be/NUaTg54ElUI https://youtu.be/lo0QmmMskz0 https://youtu.be/SuTROkEE8To https://youtu.be/Bo1ZHDXy674 https://youtu.be/2iN1HO1pBcM