JMR Tube Bender Dies