Would be nice if some of that some has Gold, Copper, or other precious metals mixed in with the lava rock.
Would be nice, but I think that it would probably just sink :)
Precious metals wouldn’t be ejected by a volcano in a usable form anyway, since those ores are formed by processes in the crust, and the magma comes from deeper down than that.