WP Super Cache - Do you use it?

Hey guys!

Lately I've been having some issues with this plugin on my WPMU network. The biggest problem is that the cache is not updated every time a user changes his theme.

This causes people to freak out when they eventually take a look at their websites while logged out or through another browser and find out that the changes they're making are not happening!!!

Therefore, I would like to ask you how do you manage this? Do you use WP Super Cache or any other cache plugins at all?