One more thing, personally, I would go easy on the lime. You alredy have abundant nutrients(fertilizer) going into your pond. Too much lime may set off too much vegetation growth next spring.
I have neutral pond, no hardness, and got normal algae bloom due to nutrient influx.