FWIW, I'll say that info like the PDFs posted by World Traveler 69 is much appreciated. Had a good trip to San Jose three years ago, but info from then is likely out of date now. So things like this...