Hello Mayer! When I read this I just had to help. JB-Weld has a plastic repair kit that will work. Walmart sells it for under $10. Follow the instructions exactly! Don't skip a step or try to hurry the process. When it's finished curing it will need sanding. Remember-the more you apply, the more you have to sand. After sanding, it can be painted. I've tried all kinds of products to repair liner damage and this plastic repair kit by JB-Weld is the only product that I've found that works. I've used it on more than liners.
I patched a dozen dime size holes that a rat made to the plastic outer tub of a direct drive washer. It never leaked a drop! Saved the customer lots of money and me lots of time! JB-Weld has several amazing products. The kit has 2 syringe applicators. It will have a strong odor that won't last long. Good luck!