Teensy eensy bit off-topic question - rumor has it that they will change the name of the park from Disney's Hollywood Studios to ????????

And ding dong - that hat will go!