A friend of mine bought a NIB Reverso Grand Taille with the old dial. These are all he got with the watch:

Now, his question is, should there be a manual for the watch or not? The person who sold it to him claimed that there was no large box so manual wasn't included from the factory. Could anyone please confirm or deny this?
Thank you.