The 462MC is the pick of the bunch for planetary - don't forget to get an IR-CUT filter with it. Optimal focal ratio with the camera is around f/15, so look into a barlow to achieve this. Siebert Optics in the USA make good 1.5x barlows.
https://www.siebertoptics.com/Sieber...s-barlows.html
Andrew