Saunasteine wechseln, welche Sorte und wie oft

[Leuchten]

Mich würde mal interessieren, wie oft ihr eure Saunasteine tauscht und ob die Sorte einen spürbaren Unterschied macht. Wir haben einen Harvia Vega mit 8 kW, die Kabine hat knapp 10 Kubikmeter, und die Steine liegen jetzt seit gut drei Jahren drin. Der Aufguss verdampft gefühlt nicht mehr so gleichmäßig wie am Anfang, und ein paar Steine sind sichtbar porös geworden. Ich bin mir nicht sicher, ob das schon ein Grund zum Tauschen ist oder ob ich einfach die Schichtung neu machen sollte. Soweit ich weiß, gibt es da grob drei Optionen:

1. Olivin-Diabas, die wohl am häufigsten mitgeliefert werden
2. Vulkanit, soll angeblich die Wärme etwas länger speichern
3. Speckstein als Zwischenschicht, wobei ich glaube, dass das eher bei Holzöfen üblich ist

Hat jemand Erfahrung damit, ob der Steinwechsel tatsächlich einen merkbaren Unterschied beim Dampfverhalten macht?