That would still leave them with close to 1000 employees. I wouldn't call that lean. They can cut deeper than that.