Bob,
Several years ago we got 9.6 inches in five hours. Bet that might fill your pond. LOL