The value of domains at these prices are like startups. They are bought, not sold and based entirely on if a company with money wants it badly enough.
I agree on your assessment that it would likely have been 7 figures. 8 if they knew it was Facebook.
For reference, I have bought/sold ZipX.com, Pedal.com, Shotput.com, etc