Need help deciding on the right ceiling fan size for our new outdoor pavilion. It's 12'3" x 16'3" with a vaulted ceiling that's 12'11" at the peak. We'll be using an 18" downrod and are deciding between a 60" and 72" fan for a roughly 200 sq ft space. The pavilion is an open four post structure, so airflow is important since this will be our only fan. Which size would you choose and why? Thank you in advance!