I don’t know the specifics of how another mint knows where to go if you redeem tokens from another mint, but I am pretty sure that redeeming at a second mint does just effectively tell the second mint to request a lightning redemption of the tokens from the first mint.

So yes, lightning is the only mechanism to actually move the value between mints.