The Mine Song in GTOTORPD's Electronic Sounds Download