Opera House name choice. The Government will have to decide soon whether to retain the name