Bummer.
If you are going to do this right, qt every fish that comes in to you in the future, no matter where you get it.
I think the idea of getting a disease from a coral or a rock is a one in a million deal, so I wouldn't bother qt that stuff for fish disease. Because I know you worry, you...