Does anyone have any experience running Galaxy using Amazon's EC2 spot pricing? It seems like that could save a lot of money as compared to on-demand pricing, and it appears that there are ways to mix on-demand and spot instances within one processing cluster: