On the Linux side, everything in AWS is CoreOS. On the physical side, 20% is CoreOS, and growing.
We really look at that [CoreOS] number growing significantly over this next year. We did some of these benchmarks to see if our production trading systems could leverage this type of infrastructure, and it was highly successful for us, and we look forward to using it more in our other environments.