Jeg har et betong gulv i kjellerstuen der et lite parti er omtrent 2 cm høyere enn resten.  For å få et helt jevnt gulv kunne jeg tenke meg å slipe ned denne forhøyningen. Jeg vet ikke hvor mye jeg kan slipe ned uten å komme i kontakt med varmekabler. Finnes det et instrument som kan måle distansen fra betongoverflate til varmekabel?