I find the song that plays during the strip lucky battles to be really nostalgic and comforting. Is there a way to download it so I can listen to it on the go?

there’s a file in one of the .bundle files called 22_StripLucky.ogg, that’s surely it, but i was only using a demo version of something and didn’t want to pay for the tool haha

also there’s a python library that should be able to do this but i gave up after failing once to run it   :/