Is the Disney buyout a good idea for Marvel?