Forgive me for asking this question - as I don't think I fully understand the requirements of the licensing agreement between OLC and TWDC - but how does WDW and DLR announcing a retheming of Splash impact the splash at TDL? Is the OLC required to retheme as well, under the agreement?