Tagname : Is a CE-marked air compressor enough for EU export?