Woohoo! There was an option for IDE. Yayyyy. I'm gonna install it now. :D

And hah. I will. But he'll never bother learning how to use it. Ever. :P