Name the seller at your own risk! Sometimes people will go and outbid you on a watch if you post it, so it's best to play these kinds of things close to your chest :)
If it's a well-known seller, who has earned their reputation via trustworthiness and good service, they're well within their rights to charge a premium, though at US$7500 I would want to see a serial number that starts with 5. Anything higher than around US$5500-6000 should have one at least below 65xxx these days I think.
My advice is - if it is within those ranges, buy first, and only post the answer here once you've received the watch! (Or, if you decide to pass, kindly email me the link to the seller :) )