+56 Circles centered at $A$ and $B$ each have radius 2. Point $O$ is the midpoint of $\overline{AB}$, and $OA = 2\sqrt2$. Segments $OC$ and $OD$ are tangent to the circles centered at $A$ and $B$, respectively, and $\overline{EF}$ is a common tangent. What is the area of the shaded region $ECODF$? Round your answer to the nearest tenth.
