Hello: Did Johnson ever "recommend" a particular outboard EFJ model VFO for the Challenger transmitter? If so, what was the VFO's model number? Thanks very much 73 de John ..