Many times after large rehabs the smoking and non smoking buildings change, according to need, etc. I can only tell you what the Passporter from 2000 said:
At that time, buildings 17, 27, 28 and 34 were smoking optional buildings. Your best bet is to call PO-R directly and ask. That number is 407 934 6000.