V ZBGIS je to evidovane ako vrch Kralova Studna, aj v zoznamoch. Tazko povedat co je oficialny nazov, lebo to rozhodnutie o Kralova Studna je z P-164/1976 a este aj mapy z harmanca z 1998 tam mali Skala nie Studna