I wouldn’t be surprised at all if the end credits music in the film was different from the one on the soundtrack. For some reason, there has been this long-standing thing about changing the end credits in every single Star Wars film, with the exception of A New Hope (the end credits on both the film and the soundtrack are the same; unless you count the Special Edition’s film end credits, which wound up having sections repeated because of the added credits). Boggles the mind. Oh well, that just creates for us a sort of bonus track, doesn’t it?