Back in January, I went through Int. security with my domestic boarding pass and drivers license. The first checker at the beginning of the non-existing line told me to show the next guy my passport, but I just ignored her. The 2nd security guy was fine with my drivers license, but then saw my destination was LAS, and he started to point out that I was in the wrong terminal, but I just interrupted him and told him I knew this was the international terminal, but I was headed to the RCC and he let me through without any further problem. I then took the walkway and ended up right at the TED gate.