P. nagyi has been offered recently in Denmark as well, – coming from Ruinemans in Holland, and labeled wildcaught. I think its likely that yours will be too.
Yes , they have been reported and seen here in the U.S. also. Our fish reportedly are wild and came from the same Asian source that were shipped to Holland.