If its estimated at 600-700 million there probably won't be a ton left over if any as we all know essentially everything runs over cost especially things with a lot of intricate work.
I just saw one up for auction on eBay (https://rover.ebay.com/rover/0/0/0?mpre=https://www.ebay.com/ulk/itm/143241627502) if you're interested in getting one.