14082 was the benchmark elevation, rather than the summit elevation. The benchmark is not on the summit, but 5 feet below, which is why the old elevation was 14087.
The summit elevation was 14087 before being adjusted to 14092.
Duly changed. Either I had a typo or it shrank since last survey. Dang satellites keep changing stuff!