I just ordered two of these to rebuild my 2005 Craftsman air compressor. It was only a little while later that I noticed under Manufacturer, is says DEVILIBISS, instead of DEVILBISS. You think this is just a typo, or will I be getting counterfeit parts?