// Return the product Id of the device, as found during discovery public int getProductId() { return _wpRec.getProductId(); }