What are the opinions on the best way to manually remove Dinos? Would anyone recommend against brushing them off rocks and corals with a toothbrush? I'm worried about whether they would spread doing this? I was hoping someone invented something that incorporates a brush and a suction mechanism but I haven't seen anything like that. Thanks for the help.