The android version does not have its own coopnet. It's the same coopnet, just under its own lobby list. Also, chosing between the android version and Linux version won't really change anything. They'll still get connection errors if it's an internet issue on there end. And not to mention, ChromeOS Linux is not good for gaming and they won't be able to use controller or get GPU access so their performance would be awful.