Bing Elevations API

Just stumbled upon this:

We are happy to announce the release of Elevations API as the latest
addition to the Bing Maps REST Services offerings. The Elevations API
will enable you to query for elevation information for a set of
points, polyline or a region on the Earth described by latitude and
longitude pairs.