if a coal feeder trips should you trip a coal mill