I went with the K80, the company we ordered it from charged us $4400 for the card, so there must be a good amount of markup that can be negotiated out of it.
I have since read some material comparing the K40 to the 980, giving a slight edge to the 980, which is surprising considering the price points, but I have not yet found any good benchmarks/posts about the K80 vs the 980. The K80 is not just two K40's glued together, as it uses the GK210 tesla chips rather than the GK110. The GK210 is a more advanced chip with more cache and better energy efficiency but I'm really not too sure how it translate into real world performance.
If anybody has any data or perspective on this, I would appreciate it.