It seems the only solution would be to "house" them, using tanks to cool, filter, and bubble the water.

They'll have another go at reseeding this or next year. Here's hoping it's successful.