As long as the Yamahiko puts out less than 6Vpk-pk, the -10dB cable should suffice to keep the input under 2Vpk-pk.
@edfriedland
I just looked at the FDeck HPF Series 3 specs and the input range is 6Vp-p. Since the Yamahiko doesn't clip the FDeck, that means the output is less than 6Vp-p. By my statement above, a 10dB attenuation from the maximum FDeck input range would drop you to just under 2Vp-p, which is the max range of the Redeye. In other words, the FDeck has 10dB more input headroom than the Redeye.
You could probably get away with the -10dB cable, but for more margin, the -12.5dB cable would guarantee a clean signal.