Boxes and sound quality in an Italian opera house