Just a note, I ended up taking the bus. Since they leave every 10 minutes, it seemed the easiest. Took about 75 minutes, which is what they said it would be. As for the passport check, it was cursory at best. Thanks for all the interesting advice.