"I'm considering the Nexsys2 board from these folk:"
It looks very like the Xilinx Spartan3e board. Note it only has 8 bit colour (better than 3 bit though). There are some notes on
www.fpgaarcade.com on how to modify these boards to get 12 bit output, and a test program (with source) you can modify for your board which will output a test pattern. Under platforms if I remember correctly.
/Mike