Its listed in the user manual, in the link that you provided.
It says a direct probe, which means a 1:1 probe, but on page 21 it is also mentioned that it works with a 1:10 probe.
So you can just buy any random cheap set of 30-50MHz probes with 1:10 attenuation switches and it will work fine. You are nowhere near or above 10MHz with Tesla coils anyway