He's been here for a while. There's a few ways to get diamonds besides mining. Excavation, fishing, raiding someone's wild home, or buying them somewhere. I doubt he'd buy diamonds just to sell them, though, and his fishing would have to be around 800 to get diamonds. Unless you saw him mine, I don't think this topic is necessary.