guess i shud be more specific. tank is empty, so got tired scrubbing w/vinegar, so took a razor to it. the pumps were more difficult so they didn't get cleaned as well.
If it's old, dead coralline, it should scrape off easily. I know because I just set up my tank after it was dry for 6 months. The old coralline just flakes away. What I didn't get was quickly eaten by my mexican turbos. They even got the coralline that grew on my silicone. Beauty.
One more vote for the ole vineger soak. Overnight should do it. For the tank dampen a paper towl with vineger and wipe it down before you start scraping with the razor blade..