You may find the Ddim is what you want as BiaB includes the 7. The half-diminished is written a Dm7b5.
Not necessarily. If you look at my response you will see that you can type nDim and get the half-diminished. I know that this works in MIDI but you may get different results in RTs as you will get what was recorded regardless of what you want/typed.