A little.
In other news, the pool folks came out and opened the pool today. All I have to do now is order a new brush attachment for it and I'm pretty much set. Bought 40 pounds of baking soda at Costco, got my $110 50# bucket of chlorine tablets for $40 after applying for an Amazon credit card. In a few days, it'll be looking fantastic.
Got the containment pool to house my fish in while I work on tearing the pond apart to replace the liner. Still not sure that I'm up to the challenge of doing this, but I've already started and kinda committed myself to it. This has been a couple year battle that I now have to win. I refuse to let this f*cking thing outdo me.