Surely this isn't a serious consideration? If Krenko is making 5 tokens then you're already winning and if you really want a 4 mana Lava Spike then you should just play Lightning Crafter instead.