Thanks for your attention Nigel.

Would you mind to say where AWS publishs that IP range?

I could not find it.