The mileage is very much recorded on the bottom right box below on the export certificate. Its usually done after a shakken test which is compulsory in Japan.
Ask him to show you the original export certificate not the copy. It could be tampered with.