I don't know, $7 million doesn't seem like a whole lot to cut out of a budget. Wouldn't simple attrition work? What's their total budget anyway? Jeez, aren't they wealthy enough to just pay it?