Childrem, lego mindstorms, and Linux

[Carl Cerecke]

Is anybody's children using Lego mindstorms with Linux?
Would it be appropriate for a bright 7 year old? I'm thinking that it 
would be a good introduction to programming.

Cheers,
Carl.