I haven’t been there in years, but a friend told me recently on his last trip to EPCOT at Walt Disney World, he was at the American Pavilion watching the show. I remember when they played the film clips of great moments/people in American history a brief segment of the 1980 USA hokey team celebrating.
My friend told me it’s no longer in the show. If he’s right, your professor has finally won as another great moment is being erased from history.
No surprise there. Kinda like how the exhibit honoring the first generation of astronauts disappeared from DC air & space museum, to be replaced by one celebrating the first minorities in space.