How to get RGB's to change from Green to Red as a number goes from 1 to 1000

Fairly easy:

  unsigned char color;

  //obtain color somehow
  analogWrite(LED_G, color); //write color to green led
  analogWrite(LED_R, -color); //write 255-color to red led

That's all it takes.