Hi Carl,
I had been monitoring your thread in the hope there'd be some input as to what happened. Sounds like the glue washed off the patch; I didn't realize that could even happen.
Where did you buy the Boxer glue? I'm looking for some to have on hand in case we have to patch the patch. We used a vinyl repair kit but would like to have more robust glue ready just in case. I looked at ACE and Lowe's . . . no luck.