Ernie Ball & Baritone Strings

Just purchased a PRS SE 277 Baritone which has a 27.7” scale. When I purchased the guitar, the store only had D’Addario 13-62 which were specifically marked “baritone,” so I got a couple packs of those, but I prefer Ernie Ball and would like some thinner strings if it’s possible.

AI tells me that any Ernie Ball strings will fit the scale-length, but it seems odd to me that they’d have strings specifically marked “baritone” if any of their strings fit the scale.

Can anyone confirm the Magnum or Mammoth or other Ernie Ball strings are long enough to fit a baritone?