Don't know how fast coal is, but if it is the same as gold, you should make more money there. However, you may die from the monsters, as I don't think it is as popular.
I know he has 99, extra exp will never hurt.
Gold will get you attacked less frequently, more people bot it as well.
You'd mine Gold just as fast as Coal with 99.