@ChrisJWilson we just got some in. The song was of course duly sung.