Isn't their first Mars miner technically an FPGA?
And why does their 250GH/s miner need to be water cooled? I thought ASIC chips were cool to begin with?
Well, define "cool". Just check the thermal images of the Avalon:
https://en.bitcoin.it/wiki/AvalonWater cooling is always nice.