Good summary. Here are the details:
First one: Service T dial (MK2) with light patina starting, service crystal, case restored by ABC, case thickness very uniform and above average compared to most vintage stuff, 93150 with 580, serviced by RSC, he says it's a FF insert but doesn't look it to me (?). $1400 cheaper than second one.
Second one: 100% original dial (MK1), NOS plexi installed (top hat), hands will be installed to match the dial, no info on case polishing but doesn't appear unpolished, original papers included. $1400 more than first one.
Number one will come down to $5100.