This is hopefully not important for anyone. It is simply a public record of what happened in case it is useful because of a problem.

In Berkeley, CA in October we rented a Budget rental car numbered 47088182, a gray Hyundai Elantra with Washington plates BAZ7021. While driving on the …