Hi there.

Personally I'd be tempted to do a complete clean:

-Change all water and treat replacement with Chlorine remover
-Clean tank with commercially available aquarium/reptile disinfectant and rinse thoroughly

Sorry to hear about b33st