The sharks you have seen in some of my videos, get washed. I clean them by hand since it is gentler on them, and it really does a great job.

Not mentioned in the video, if you want to use a soft brush, that should be just fine. Hope it is some good info to you.

source