We’ve seen several methods of repairing plastic ... repair it digitally on the computer and just print a new one. That would work, too. We’ve seen the same process using candle wax and epoxy.