I think the ideal solution from AWS would be fixing the bug and actually providing the guarantees that the docs say that they do.
Lucky them, there is an automated suite[1] to verify the correct behavior :-D
Using the words Bug and guarantee is throwing the casual readers off the mark ?