I want to know the answer to the following question:
How expensive was Spielberg and Irving's divorce?
All the background I'm provided with is that "Their divorce was recorded as the third most costly celebrity divorce in history.". Is that enough to answer the question?