I finally got to level ten on mining! For some reason I'd convinced myself the coal would give diamonds, I have no excuse for why I'd think that. (Also convinced myself the catfish would be in the pine forest, with even less excuse, and got very startled when I fished one up by the sawmill.)