The servo library described in the second link allows you to output an RC Channel signal from the Arduino pin of your choice.
Its as simple as -
Servo.attach(PUT_YOUR_PIN_HERE);
The arduino will now be outputting a constant 1500us signal from the selected pin.
Duane B