what is a tub grinder