Surgical face masks in modern operating rooms--a costly and unnecessary ritual?