/* Customizations for Kalahari Resorts in Ohio */