It is one building, the tour takes approximately 45 mins
Well worth the trip. One building and guides are very informative. About 1-1 1/2 hrs.
Just a short walk and one building to tour. Allowing an hour or two will definitely be enough time.
Thanks! Your answer is awaiting moderation.