Circles centered at A and B each have radius 2. Point O is the midpoint of line AB, and OA = 2*sqrt(2). Segments OC and OD are tangent to the circles centered at A and B, respectively, and line EF is a common tangent. What is the area of the shaded region ECODF? Round your answer to the nearest tenth.
