Opera House cost seen as "peanuts." The cost of the Opera House was peanuts, Professor H Ingram