Bing Maps SDK Pushpin options not getting updated

You would expect that by setting the height of a pushpin programmatically -using the pushpin options-, then calling the get height method it would give you the new height. But it doesn't. I did a lot of investigation and setting the height was not modifiying its value. As it turns out, you need to set the width as well. It's just one of those undocumented features from Microsoft...