If it is unprofitable and they shut down their miners, I am curious why the estimated difficulty charts haven't decreased.
I would tend to think they are still running their miners. That is, if they were really mining it in the first place.