I note the Elephant Hotel has gone back to its old name from the 1960's.
Also the Copper Inn is on your web site.
Are they one and the same Hotel?
Anyone can ask a
Destination experts (like you!) provide amazing answers.
Readers "like" answers, and the best float to the top.