Re: Edge Pro
5mm sounds too much to me! In the end it's a matter of personal preference. If you like the string height as is....fine! If you'd like a little lower setting on the bass side, loosen the strings, keep the vibrato's knife edges off the poles and turn the pole in (maybe 90° = a quarter round). Retune the guitar, if still too high, repeat all steps.
If the high strings are too low, do vice versa.
If you like it as is, keep it as is.
But NEVER let the knife edges touch the poles while turning them in or out, you might damage the poles/knife edges!!!! I busted my first Floyd Rose because of this, because I didn't know better 15 years ago!
There's no rule that says it MUST be level (even though I personally prefer it that way or maybe with 1mm difference)