Restaurant known as The Red Lion.