Our pond filter was made out of a plastic/rubber storage container many years ago. Can't remember precisely but at least nine. While it was placed inside a rubber liner both sides busted and water was slipping out over the liner.
In essence our water pump was pumping the pond dry, so I had to act fast. I did not want to leave the water un-circulated in this heat, (I believe oxygen dissipates quickly in the summer) so I had little choice but to empty, wash and reload another container with about 150 pounds of lava rock and pea gravel.
Richard, if you are still reading my blogs, I do not envy you having to work outside in this heat. I know you can get used to it (some) but imagine those doing without air conditioning now. I can't believe I am excited about the temperature getting down to the low 90's later this week.