I think I'll go with the Arduino because its very easy to use, because I have the option of programming with either straight avr-gcc code (as with the Avr butterfly) or with the simpler Arduino language. Thank you all very much! (more suggestions still very much welcome, I'm not ordering until another 5 or 6 hours)