Do you recommand PC with Linux os or Windows os? Does anybody have some experience? (Also multiple access to this PC and tools.) Thanks.