double that here, 20mm total
dues to orographic lifting on the coastal hills I would say
I did not even hear the rain during the night, so it must just been very thick drizzle, and low altitude at that, hence why the rain radar had trouble picking it up (the signal was going over the top)