A restaurant called O Ratinho, located on Avenida Doutor Arlindo Vicente.