Assuming they actually run their code on CISC-based CPUs. If not (and the lack of available hardware seems to suggest this), all of the Cloud Architecture in the world isn't going to help one bit. Well, aside from running Stromasys on top of a bare-metal cloud server.
[This one has worked with physical RISC-based systems for decades, and Cloud-based options for the last 5 years. Want to purchase something from Sun/Oracle (or a cloud solution with any of the major vendors)? Come see me.]