Herbie: Fully Loaded and Retooled