If Sherlock is able to export it as music only (and get far enough info the credits to let me find a good edit point to segue back into the main source), I shouldn’t have an issue baking it in.

Or… what’d be ideal is to export the outgoing Rey’s theme and incoming end credits music separately, each synced to a reference video file for sync. I can then recreate the finessing of the original easily enough. (Like making the music fit the 5.1 soundtrack and blend with sound FX, but use your transition to credits.)