Fun fact about that building: it took us 30 years to pay for it. With interest we, the taxpayers, ended up paying over 5B$. A lot of that money came from the tax on tobacco that the government made up just for that purpose.