At first , he was called `` Hotfoot Teddy , '' but he was later renamed Smokey , after the mascot .
At first he was called `` Hotfoot Teddy , '' but he was later renamed Smokey , after the mascot .