Diner known as De Royal.