I would definitely not restock before I killed off all remaining fish. If I had to drain or pump or buy extra rotenone, that is what I would do.

-HH