Anyone out there with info on which armboard to use for the DV-507 mkII and Micro Seiki DDX-1000 and RX-5000?