I found some real world height maps. I was sure they were out there, but I was
having trouble actually finding them previously.
If you're interested, I got them from https://earthexplorer.usgs.gov/ (follow
instructions from http://gisgeography.com/free-global-dem-data-sources/)
