Es gibt schon knapp östlich einen Peilspitz (in österr. Karten Hohlkogel, https://www.openstreetmap.org/node/2407121150), liegt da nicht eine Verwechslung vor? Es gibt dann auch noch etwas weiter östlich die Peillöcherspitze (https://www.openstreetmap.org/node/2992126142).