International Olympic Committee Formula 1

I received these photos recently from someone who was given this 571.513 Olympics branded Formula 1 by the International Olympic Committee (IOC). It's the same as the standard watch, but with the Olympic rings in place of the usual TAG Heuer logo. From what we can work out, the watch was never available to the public.

A cool find!