And perhaps, in six months with Google Jobs Search eating up market share, it would have sold for much less. Seizing a 1 billion USD exit opportunity seems like a more than acceptable outcome.