AWS tools. Untested (but copied and slightly modified from a one-off script where they worked)