Nothing that I'm aware of. Search of FCC for both application and license and can't find anything, so if they're doing anything radio wise, it's likely low powered mobile to mobile. Being the size of the park that may be all they need, but that may also change in the future.