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 "Then in 1984 they renewed their romance, and in November 1985, they married, already having had a son, Max Samuel.". Is that enough to answer the question?