Thanks for helping to source alternative names...helps quash everyone including his/her favorite. I don't have that ref handy--does "unofficial" mean "lots of people call it that but WMATA doesn't", or "it's often called that as a nickname even in WMATA or other formal documents"?
Politeness: polite