Ні, в SRTM немає 9м. Є тільки 90м та 30м. Але це не точність, а роздільна здатність (розмір пікселя). Якщо точніше, то на широті Карпат розмір пікселя 20х30 м.
А точність висоти у кожному пікселі - 3 м. Якщо є дерева - то більше (радар через дерева не дуже пробиває).
Якщо цієї точності та роздільної здатності достатньо, то можна підключити SRTM навіть у JOSM. Ось тут, наприклад, є WMS-шари:
https://www.terrestris.de/de/hoehenmodell-srtm30-wms/Там є шар горизонталей (через 50 м), але може краще підійде Hillshade. На ньому видно вершини, хребти, долини: