I suddenly find myself wondering how much redstone it would take to make a minecraft miner...