sorry for being so dump, but is wkix32 the service version of kix32?