> Meanwhile (and you might have noticed me asking for AWS help on fedi) we contacted AWS as the source IP was from an AWS network. It was very important however to make sure the AWS support did not shutdown access.

I'm legitimately impressed that whoever got that ticket on AWS side actually followed through and was able to divert from their script...

Ditto. My experience with AWS support has been generally disappointing.