Welchen Wiki-Eintrag genau meinst?
Wie du richtig schreibst, taucht er erstmals ca. 1960 in der ÖK50 (Schreibweise "Michlbühel"). Dort ist er relativ eindeutig der Passhöhe mit (damals ermittelten) 996m zugeordnet. ab 1980 wird er als "Michel.." geschrieben, danach verschwindet in der ÖK der Höhenwert. Auch die f&b-Karte verorte die Passhöhe.

Wie dem auch sei, grau ist manchmal alle Theorie und wenn ma's genau wissen wollen wird - wie so oft - das Gemeindeamt unseres Vertrauens die kompetenteste Anspruchstelle sein ;-)