Although the terminal has been officially called ''Grand Central Terminal'' since the present structure opened, it has ''always been more colloquially and affectionately known as Grand Central Station'', a name of one of the earlier railroad stations on the same site. ''Grand Central Station'' is the name of the nearby U.S. Post Office station at 450 Lexington Avenue, but may also refer to the Grand Central--42nd Street subway station that is located next to the terminal. The name was also used for the renovated Grand Central Depot, from 1900 until its demolition in 1903.

See options at the end. Can we conclude that is there a post office in grand central station?

OPT:
(1). no;
(2). yes;
(1).