In article .com,
wrote:
I really don't know since I was at USNO in DC and only hear rumors
about the Flagstaff operation. Sorry. There was someone I knew out
there who occasionally posted on newsgroups, but I've been retired
for 4 years now and forget everything about that place. Will look his
name up in my empty brain.

If someone can repeat the question (I only see replies, not the head
article) I can try to answer the question. I am an employee of USNO.