Me..no, except I am going to add a 7-day programmable timer to the pumps so I can run them for a while 2-3 times a week during the summer, just to keep the water stirred up.
Yes i let them run ,its only about 2 1/2 monthes of non heating season here for the little bit of electricity they use . A timer seems to be a neat idea though