Updating this thread... Just curious to see whether anything has been updated or changed.

NGS (National Geodetic Survey) has an updated "Survey Marks and Data Sheets" web page, with links to an interactive map: NGS Data Explorer

Using the explorer map and zooming in on Mt Whitney, we can find the highest elevation data sheet: PID : GT1809

That Data Sheet shows the elevation of 14508.