Thanks for sharing that tip. Glad you got your liner repaired and didn't have to ($$$) replace it!