How much rain did Tropical Storm Rachel bring to the San Diego area?

How much rain did Tropical Storm Rachel bring to the San Diego area?
Remnants of Tropical Storm Rachel brought the first major rainfall of California's water year to Southern California this weekend.