Here I go...just bought the lid and already on to the whip! I'm trying to decide on length for a whip. I'm seriously considering the 12 plait EC whip, but I can't decide on 8,9,or 10 feet. Does anyone know how long the whip was in Raiders? Speaking of the length, is the standard measurement of the w...