I don't, but BRP isn't manufacturing their own O2 sensors, they're likely using Bosch sensors, as they make a ton for worldwide applications. So if you can find out what that number is, and pick it up from your local parts store to save yourself some coin, go for it.
Think of it like the NGK spark plugs. BRP ain't making spark plugs, they're using existing products. You can get the NGK plugs cheaper locally than you can from BRP. Same principle should apply to that O2 sensor, if you can determine the number.