Did you know that David Bennett was hired as general director of the San Diego Opera after his predecessor tried unsuccessfully to shut the opera company down?