Sorry for not replying sooner. I forgot to subscribe to my own thread
And sorry for not clarifying earlier (I'm terrible at that).
I'm using a full sized Revolution purchased from
HobbyKing.
Firmware tag: 15.09
Firmware date: 2015-10-21 19:14
Git commit hash: c3f2fd0b
No matter what I do I can't get pins 3 or 4 of the flex port to work as the WS2811LED_Out.
I managed to get it working though!
For some reason WS2811LED_Out worked on ServoOut6, no worries at all.
I'm glad I got it going but it might be worthwhile if someone else with a full Revolution could verify this and perhaps update the Librepilot documentation accordingly?