Within the work shop. Visitor's guide indicates this was abandoned in 1952 (a few years later than the dates I'd come across researching the hike description)...