No. I have not been experiensing any problems. I just thought it would be a good idea. I think you have a better idea of formatting the media drives once a year.
Sometimes the media drive cannot keep up on 10 bit playback. It is not due to defrag though. It did that from day one.
Speaking of faster drives: I am using AJA KONA 2 with a Lacie firewire drive. I’ve heard talk of using GRaid because it is much faster. IT is not listed aas compatible with AJA Kona 2 card. Do know of faster media drive solutions for FCPro with AJA Kona 2?