Talk about a day late and a dollar short.
How long has Hogan been around, 25 years? And they just get around to this now?
I remember, even in the 80s, Hulk Hogan's TV shows, merchandise, even WWF, had a little disclaimer at the end noting that "Hulk" was copyright Marvel comics. So I always assumed WWF, etc., had to pay Marvel a royalty (that being the legal issue of which I spoke).
They probably got tired of doing so and, wha-la, enter "Hollywood" Hogan.