I honesty think the transition to end credits sounds and feels right, moreso than letting the cue play out longer. Only other thing I could think of is mixing in the transition to credits from another film to get a little tiny bit more of a build up “bum buuuuuuuh” before it kicks in. I think it’d take ingenuity from someone else to do, though. But as is, I really don’t have a problem with it and I think it certainly could have been what was put out and I doubt anyone would’ve commented. At least not by that point in this movie.
And yeah, Finn and the lightspeed skipping. It’s… I think it’s the best solution, and a cleaner removal of the offending sequence.