Die Marketingstrategen eines großen Industriekonzerns hätten es nicht besser machen können: Weil der „offizielle“ deutsche Name `Orangeaugen-Helmskink´ eher etwas holprig daher kommt, wird das kleine Reptil in Terrarianerkreisen meist als `Buschkrokodil´ bezeichnet. Das klingt ungleich spannender, und jeder denkt sofort an outback, Dschungelcamp und Lebensgefahr für unvorsichtige Schwimmer!