“Neil asked how long it generally took to have the rating reverted to AAA.
He answered..... well, about 8 or 9 years!”
I heard him say 9 to 18 years.
I heard that too.