Hi. Does anyone know what Pen is used by the President when he signs official documents in the Oval Office. He picks one up, writes a bit, sets it down and picks up another one and does the same thing about eight time. He then usually gives the Pens away to those standing around his desk. Are they Fountain Pen's? Anyone know?