Thanks for your attention Nigel.
Would you mind to say where AWS publishs that IP range?
I could not find it.