This is accurate. I'd like to mention that a Lava Titan is most likely better than a Yak (it's better than a tortoise, at least), but you'll want to test that. If you do, could you please tell me the result? The above confirmed - I'm not 80 mining myself, but I fish a lot in the caverns and talk to the miners ;)