I would flush the cooling system, leave that gunk in there longer and you can have bigger problems.

Coolant flushes are easy and not $$$ at all. I can do it for under 20 bucks myself.