Thanks for the advice, Pusser, I wish I had been more knowledgeable when I was in Portsmouth last year, but I guess hat there's always next time! Gieves is still at 1250 pounds ex. VAT, so still ~$2000.
I just found the reference, so here it is straight from the dress regs, Chapter 6, Section...