Very nice of you to discusss before acting, much appreciated. I took the elevation from the source I mentioned: https://aterriza.org/?s=alcocer But that is not an official source, it may well be inaccurate. Please feel free to go ahead, I will not interfere!
