Just an update,

Both cameras sold for about $34,000. I sure wish I had a $34,000 camera...