JPL weather station has a rain gauge that records last ten days: total 30.5 cm or 12 inches!