Just for fun and information, I measured big red's height today, it was 11'6" to the highest point. Highest point was the bracket the TV air antenna settles into when down. Cruisairs and flat top in motion dish.
Hey Mango, bet I can lose you in downtown Memphis!