Did you try patching with the hot glue gun? Did it work? How, exactly, did you do it?