No, I ordered a cooler for Mark Olsen, who complained that the stock cooler that was provided with his system is both loud and inadequate.
But, that is a pre-production/development system, so I don't know what the current units are like.
....
same issue with the X1000 which many of us solved with custom made CPU fans made by Markus Computers which are identical to the ones AOTL sell now (I believe hey bought out Markus Computers stock when they closed down)..anyhow here's a blog that outlines the install on the X1000
http://mancave-ramblings.blogspot.ca/2015/06/