Re: Height measurement precision
The height problem in GPS is because the satellites are much more similar in height than they are in distance to you.
Measuring the height of this satellite doesn't depend on GPS - it just depends on measuring the orbit time (easy and accurate) and knowing where the planet is and how much it weighs (trickier but we do this)
I'm guessing you can nail this to higher accuracy than the LIDAR system, so they will likely use passes over known flat fixed earth targets to calibrate the laser ranger assuming a known orbit - rather than use the LIDAR to measure the satellites' height.