Am looking at a plastic repair kit offered from Eastwood's. Does anyone off hand know what the cladding is made of? Is it polypropylene or polyethylene?