Thumbwheel mapping

We need to map the thumbwheel to an RC channel (RCX_OUT - 1000-2000) so it [inc,dec]crements the PWM value for our wing angle servo. How would one go about this?

With the next firmware update…