I believe the watch is 2013 and did have a full service at IWC last year April at a cost of £500 and warranty still covered until 2027 so piece of mind and did have a full strip down all paperwork in photos and will be provided.
eBay