i was my local sears store looking through the air tools cuz i need a 1/2 inch impact. i'm looking at the IR ones they had there than looked at the craftsman ones and i noticed something; they seemed to be the exact same gun except for the name and color of front cover. anyone know if they are the same just diff name?