@schwa Surprisingly, not Rudy’s. This is a hole-in-the-wall Mexican place near our new house. (Rudy’s, sadly, is too long a walk now.)