Baal, Mammon and Athena are not available in this ticket. So I didn't say a word about them.

Mammon is obviously super good. -20% C frame fixes a lot of Thunder's debuff problems, and she gains a whopping 8% Assault per Snatch stack on the enemy. If you're running 120% Assault, that means she does ~33% more damage than your other Hime at 9 stacks. Also, with just a couple of stacks, her third skill will hit the 700k cap easily to my knowledge. So that's 700k damage every 6 turns, basically available from turn1 if you run Dartagnan. Mammon is the reason why Thunder runs Dartagnan with Charles Blast. Although you lose 30% Elemental attack - which is a big deal - you hit Def cap with just Dartagnan and Mammon. In addition, you NEED Dartagnan to get Mammon going. Mammon has her own Snatch3, but without Dartagnan passive... well, you've probably ran Snatch3 on non-thief Souls yourself, right? How did going past 5 stacks go for you? Very, very badly. And finally, Thunder gets fuck-all HP weapons (Ygg Spear, Mastema Staff with garbage stats, one dual-skill we don't have yet) but currently has FOUR Gluttony Guns in DMM, so the HP from Charles Blast is certainly very welcome. Sadly, the second skill on the guns is Crit... makes Thunder a beast against Water I guess, but not a very universal element.

Athena is probably the best Hime in the game... against Water. If you run your Thunder team against Water ONLY, such as Belial Fire mains, Athena might be good enough to spend a Miracle Ticket on. Maybe even over Mammon? Not sure. Anyway, Athena has a -40% party damage cut against Water on a short 5 turn CD, can Guard the party for 1 turn like Gaia can. She's certainly no Gaia however, as she's limited against against Water. And she does far more damage than Gaia, as whenever she takes even 0 Water damage, she gets a 60% Elemental attack buff for 2 turns. That means that if you're running 90% Elemental against Water (which isn't even possible when Athena is released without two stars in Thunderbird(s), she'll do 25% more damage for the next two turns.

I don't know if SSR Baal will be available in the next Miracle Ticket. Even if she is, I don't understand her appeal. Nobody on these forums have ever explained why she'd be good, though many have been like "r u an idiot baal is a god huehuehuehue", which... hasn't impressed me. Anyway, Baal has a whopping 30% Thunder Resist- debuff, which means that she and Mammon alone hit Def cap. The problem? Baal's debuff lasts for a pathetic 90 seconds. It's also on a whopping 8t cooldown. She also has a a CD reset, which also resets her 4x damage nuke, but also at 8 turn CD it doesn't really solve your debuff babying problems.
So really, I only see two advantages of SSR Baal:
1. You can drop Dartagnan. This means that you can run a more common meta build like Shingen or Herc. Thanks to Raiko, you can always make sure that Provisional Forest works for these two no matter what kind of build you want with them. However, there's two problems with this: one, you'll take a shitton more damage due to only having -15% Atk debuff (down from -45%) and Mammon turns into just a plain debuffer without Snatch stacks.
2. Thor. Supposedly lowered elemental resistance gives your debuffs better chance to land, so a whopping 30% should help Paralyze a lot, right...? Still, I doubt that you'll hit 100% even with Astraea, so how good this actually is is a mystery to me.

Either case, I don't see any point in SSR Baal for anyone who isn't far, far above the content they're doing. Like whales. If you can easily oneshot stuff because of your ridiculous base stats, Baal's short debuff and the massive loss of survival ability won't matter to you. This would easily build a reputation for Baal because the juiciest of whales would run her, people watch the videos and go "omg baal so gud!!!" even though it's not a realistic scenario for normal players.