I got the paper manual with mine, i was an "early adopter", bought on the day of release, so i suppose the premium price included the proper manual then!
Look on P64 for details on 1/4000th speed, I searched the online version and couldnt see any reference to 1/2500 or 1/3200, the two speeds that are greyed out when you manage to set it on 1/4000.
Allan