Cool application. I don't see much justification for double precision arithmetic in this case though, so why would they need the Teslas? Going with Titan Z cards instead I believe they'd come out with comparable single precision performance in the ballpark of half the price? That might be closer to what could be reasonably expected in the target workstation too...