Hallo Dirk,
abkochen kann nicht schaden, aber ob das sein muss, keine Ahnung.
Ansonsten, was soll an den Steinen sein, was nicht "aqua-tauglich" ist?
Ich würde sie nach einer ordentlichen Grundreinigung ohne weitere Behandlung ins Aquarium legen.
Gruß,
Eric