It sounds like people have them pegged as FirePro W9000s, which retail for >$1500, but that's probably the top option, with the lowest end being a much wimpier card. So you may be right.

(Also, I didn't realize they had ditched the dual-CPU approach, though that was probably a good decision)