I think it should be pointed out the the Big Hero Six characters were not created until AFTER the Universal/Marvel deal was made, so they naturally wouldn't be subject to it. I really think GoTG is a grey area, and Universal has a pretty good legal argument should they want to stretch their muscles and stop Disney from using it in WDW.