File:All-Star but to the tune of the Mine Song