This post reminds me that I have been unable to find good data on local elevation that's not an OS map, a spheroid, or estimating from google earth.

Still disappointed that good free map sources are all flat, from what I can tell.