Agree it's not the only RED game around, and these being "just" homebrew games I didn't even look intro registering a trademark. I don't really mind if our games have the same name, but it might be a bit confusing and we can probably be smart about that :) Another option could be to add a subtitle to differentiate them. I was considering something like "RED - Against the Machine" at some point.
Cheers and good luck with your game :)