To answer the question, double het prices are pretty much set by the person selling them due to most being very rare. I would say at least 2K+ for each pair.
However unless you are planning on getting out of ball pythons completely, why the heck would you not want to keep them and have two pairs of enchi dbl het x champ dbl het? Thats an amazing project to have a huge head start on.