Rifle Scopes Anyone have time behind a Leupold Mark 5HD 2-10x30 yet?

Not sure why they went with a freakin 35mm main tube on an optic in this range, otherwise looks good. Nice to see something new in this range.
I would want a 30mm maintube for a 223 gas gun. I want lighter scope on an SPR, not dialing ELR shots on a gun like that either. Just needs enough elevation to get out to 1,000y. Most people won't even shoot them that far.