We did use WACC, which invariably led to arguments about how to correctly calculate WACC as well. For a division of a large company, it can be non-trivial to decide what the appropriate WACC is.