What happened to their space? Has another restaurant moved in, or has another type of business moved in?