If Canon service reported the shutter actuations after they performed the service, they might have inserted a memory card that was not formatted and had carry-over counts from a previous camera. The camera will pick up and start with the last number on the card if present.
Cheers,
Doug
From what I understand (talking to Canon) 'shot count' is absolute, independent of any file numbering permutations.
FWIW, all photos from the camera number perfectly sequentially from one folder to the next, just as you would expect from formatted cards. The numbering also includes any in-camera deleted files.
It was simple for me to work out but I also counted the files just to be sure. This shows up slightly less, because of in camera deleted files.
Put simply, there are 736 more 'shots' on the camera than files I have taken with it.
As pointed out this is 'unproveable'. I just have no reason to lie here, to you guys.