Turned mobs off to spawn a new map and accidentally left them off whilst mining, made cave mining a lot less stressful and less deadly experience and for once I was able to collect a nice large amount of ore without experiencing fssssssssssss-BOOM. So, the project can now continue! Just need some lava now, and fortunately I know exactly where to get it.