The usual disclaimer on the Vegas Brazil code (7016427): It was likely discovered because someone transposed two of the digits in the Costco code (7014627). It is true that in Orlando, they (Alamo) usually don't check credentials to see if you're a valid user of that code. For example, I usually use the Costco code, but I can't remember being asked at checkin if I'm a Costco member (I am) (although recently they've been asking for the Costco member number on the initial reservation). I don't know what the Vegas Brazil code means. It could be a public code, for example, something like an Orlando MagicCard code, that anyone can use. Or maybe a membership code (AAA, Costco, BJ's, Entertainment, etc.). It could also be a corporate employee code, intended for employees of something called Vegas Brazil (if that even exists).
Does it matter? Probably not. When it could be an issue is if: Alamo in Orlando all of a sudden decides to check credentials (not likely, unless Alamo corporate tells them to), or, if you get in an accident with that vehicle. That's when things can get sticky. One hint: I don't think its the case with Vegas Brazil, but if you ever see rates from some code that includes all insurance as part of it, its best to stay away...that would definitely be a corporate code and you might wind up getting involved with that corporation if you get in an accident.
I'm not going to tell you to not use Vegas Brazil, or any other code. That's entirely up to you. Personally, I prefer having the security of being able to justify (have credential) for any code or coupon I use.