EL PASO — Wake up and smell the craft coffee, El Paso. The national craft coffee craze has slow-dripped its way into town, and three entrepreneurs hope locals perk up, take notice and embrace the new brew. Sales of craft or specialty coffees have given the U.S. industry a jolt, helping to drive up revenue 7.4 percent last year to $11 billion, according to the research firm IBISWorld. The trend of drinking a $3-$8 cup of java made from premium, exotic beans from around the world and lovingly roasted on the spot by certified artisans has been piping hot in cities such as Seattle, Portland and Dallas. In the last year, the trend has percolated into El Paso where it is slowly catching on.