[davidpm]

Based on a recent post I wonder if it is worth the trouble to hoist a tape measure up to the top of the mast to measure how tall it is. I have heard of people cutting the mast down a few inches to eliminate damage.