.5mV is a-bit bellow the bottom line for your phono sencitivity. thus you should have a preamp with input sencitivity at least 220mV or better.
if you have a unity-gain or passive preamp I would not recommend you to use lower than 0.8mV cartridge certainly depending on your power amp sencitivity as well.
the cartridges you've mentioned are all great performers but for most of them you might need a step-up transformer thus you can even use mm position in your BAT.
also you might consider upgrade of the phono as well to pass X ono used, audio synthesis... that have a max gain arround 70dB suitable to drive even helikon sl with no help of step-up transformer.
if you have a unity-gain or passive preamp I would not recommend you to use lower than 0.8mV cartridge certainly depending on your power amp sencitivity as well.
the cartridges you've mentioned are all great performers but for most of them you might need a step-up transformer thus you can even use mm position in your BAT.
also you might consider upgrade of the phono as well to pass X ono used, audio synthesis... that have a max gain arround 70dB suitable to drive even helikon sl with no help of step-up transformer.