You are right Azzork, don't go out of your way to engage with them, don't ignore them either (let them come to you) and always be friendly but never discuss anything R oriented.
- Nobody has ever learnt anything important from happiness and success; problems make us grow - Consult your plan, not your feelings - If you haven't set goals, how can you expect to achieve anything?