I just made a slurry in 5G buckets and dumped into the pond until the PH exceeded 11. Nuked everything - no problems, no sprayer, very simple. Add lime to bucket of water mix and apply. Actual application to 1/3 ac 18" depth pond took about 30 minutes.
You also didn't have bullheads or other fish that hid in mud or puddles, did you? Not treating the entire pool area well could let sneaky fish survive.
