Is this the stolen Nikon AF-S 600mm f/4G ED VR lens?

A month ago, Nikon’s NPS roadshow gear worth over $150,000 was stolen in Dublin, Ireland. Last week I received a tip that a Nikkor AF-S 600mm f/4G ED VR lens matching the serial number on the stolen equipment list (205164) was listed for sale in an European photography forum for $5000 (new price is $9,799.95). The listing has been removed since.

Please note that Nikon never confirmed the serial numbers of the stolen equipment, so all this could just be a misunderstanding. I have more images and screenshots of the original listing if anyone involved with the case is interested.