John Both Richard and I did some work on the Opera House when it was being built. J.