Very sad day for the entire industry. Will seemed like such a nobel person and really personified the amusement industry for what it is. He was a modern day Walt Disney in a sense. Walt and Will both were in the industry out of a pure love for seeing people happy. Seeing photos of Will, and seeing him one time on a visit to the park, you could tell just how happy he was. Such a genuinely loving, fun, honest person. I feel for the Kochs and their extended Holiday World family today.
As a testament to just how far-reaching Koch and Holiday World have had, even outside of the midwest, look no further than Google: http://www.google.com/trends/hottrends?sa=X&oi=prbx_hot_trends&ct=more-results
"Will Koch" is currently the #3 biggest search term on Google right now and "Holiday World" is #17. Known and loved by many, indeed.