About how tall is Mr. Stadel’s Christmas tree?