Too bad. Now the sounds of being live at the Olympics are being faked.
It's one thing to have clever mic placements. It's something entirely else to insert fake sounds. Maybe we should use Hollywood gunshots rather than the real sounds, because, after all, we're all expecting a certain bang noise from all the movies we've seen. And let's pipe in lots of audience gasps and cheers at all the "right" moments--all done for the sake of "hyper-reality" of course.
If true, I'd suggest a sad commentary on our times.