Hi all - I was wondering, if we deploy Galaxy in AWS, can we take advantage of Elastic BeanStalk to scale our instances based on demand instead of trying to configure Galaxy to perform well for our users?