Call me ignorant but how would a drummers speed have any effect on the mic they use to mic there drums?
Never heard of or used the mic you mention nor do I know what price range its in. Some of the usual culprits for Toms are the shure 57, sennheiser 421, and some kick mics (shure beta 52, at pro 25, akg d12) if the toms are large enough.