Also if a rigid plastic liner were to get a hole in it, how would you
repair it? With a piece of plastic and a heat gun. Have not needed it
yet but I will try it when I do.