So I played a halo 3 game today my tool of destruction was the mauler, but the name of the tool of the destruction was excavator with a picture of a mauler. mauler too hip to be called mauler.
EDIT: The excavator is an early beta version of the mauler, the exc.vator was cut from Halo CE