Music to my ears October 9, 2019 Well done to The Royal Opera House, Covent Garden. (And thanks for listening to the suggestion).