We've been in a running battle with our pool skimmer for as long as
we've owned the house, 17 years. Our pool guy says he can replace it
for about $1500 and I'm almost ready to do that. Meanwhile he patches
it about once a year with some kind of underwater epoxy. I'll be
interested to hear how your 5200 repair works out.