the old building in the Robin Hood Resort