I suggest you check the Patek website first and see:
5712/1R
https://www.patek.com/en/collection/...us/5712-1R-001
Not sure about any 7811?? Do u mean 7968?
https://www.patek.com/en/collection/.../7968-300R-001
Also, chances are the AD will not have any to show you when you do go. There’s hardly any watches available, especially the new releases.