Animation while mining

Animations are the apogee of useless, but they're fun to look at.