I have and I have actually owned it a few times. I love the Mint version the most, but the size and general handling got to me. It's pretty big for a 5.2" device.
HTC 10 having the red option is nice, but that price isn't nice for me, even with the $100 off.
The size thing is another reason why I am interested in this phone. Somehow they fit a 5.2" screen, but yet it is shorter than the Nexus 5x (and Robin, by the way) and slimmer in width over the Robin and the Lumia 950 I have tried recently. Also more screen is awesome.
Thanks for the suggestion. I passed on it because of size, but I appreciate it.