I have never consciously mined ETC because it hasn't really been all that profitable but I have seen my auto switchers mine it now and then. But this is a very good point ETC is actually creeping above ETH for mining returns right now so could be a viable option. I still think it's time to retire those cards going forward, you don't really want to rely on one coin but good backup plan.