Thank you for such a prompt and correct answer, and I will try and be more precise with error messages etc. in the future.
Yes, my friend was indeed invoking IDLE3 by typing sudo IDLE3 at the terminal, whilst I was invoking it from the GUI desktop.
So this (my first!) post is now closed - thanks again