Ich habe nochmal recherchiert. Da die die offiziellen Gipfelbezeichnungen vom "Bundesamt für Eich- und Vermessungswesen" festgelegt werden und dort der Name Brunnkogel eingezeichnet ist. Kann der Hinweis meiner Meinung nach geschlossen werden.
https://maps.bev.gv.at/#/center/13.3331,47.0901/zoom/15.3

