I want to convert the elevation data obtained from Google elevation API to NAVD 88. I understand that Google uses WGS84 with EGM96 Geoid.
Do you know what I should do to convert the elevation data? Also, is there any python library that could help me with the conversion?