does the randomized battle theme mod require you to turn on the ingame random music option? I have the p4 and p5 song dlcs and i dont want to have those also in rotation since i just wanted the p3-related tracks in the rotation. I tried using the mod with my ingame battle music set to default, but it was only playing the p3d version of wiping all out without changing to any of the other songs i have selected in the mod settings