I wouldn't get anxious about it, if I were you. Regardless of what the gun may have been equipped with when new, the chokes could easily have been modified from original. If the chokes are F/M, you can easily and inexpensively have it done yourself, for that matter.
Guns are a lot like houses, in some respects. If you find one that's perfect for all your needs and wants, you're one lucky SOB - buy it. But, just because you don't find that perfect config doesn't mean you can't buy something close and take it the rest of the way.
In this case, choke configuration changes would make the gun more desirable for some folks, while potentially making it less so for others. The net difference is pretty much a wash and you get the gun you want. But I caution other readers of this post not necessarily to extend this advice out to just any mods. On fine vintage guns such as this, cutting the barrels, polishing the receiver, and a host of other work that people sometimes contemplate, will do nothing but reduce the value of the gun.
Restoration to original condition is usually a marked improvement and will no doubt significantly increase your personal enjoyment of a vintage piece. Provided that it's done professionally, it shouldn't reduce the value at all, but it doesn't often result in price appreciation beyond what was paid for the restoration.