Thanks for the additional information.

There's definitely a coffee shop at the Peppermill now (have eaten many a meal there) but I'm sure it's not the original!