Yes, we made it up to San Jose. We’re staying with ellipticcurve‘s family, to whom we owe a big thank you. They are really neat people.
The drive wasn’t that bad. We left the San Fernando Valley around 9:30 PM, and pulled into San Jose around 3:00 AM. Other than one idiotic Chevron station that couldn’t be bothered to enable its pumps, the drive was smooth. This morning, we had breakfast with our friends the Biggars; this evening we’ll be seeing Mike and Carol.