The Grove Diner is now called Dinese’s Diner. This has been the current name for quite some time
As of 2 1/2 years ago which was the last time I was there, the staff/employees/menu haven’t changed. Just the ownership.