Should this be ipmitool?  We install it as a dependency via the RPMs, but I'm not sure which we should prefer.  Any thoughts or experience?