OK, so my quick web search says... Brazilian picanha, is also known as the Top Sirloin Cap... The Brazilian cut , is left with a rather thick piece of fat on it until after it's cooked...
but anyway, I wonder if this cut is included if/when a person buys a whole sirloin that's not already butchered... I haven't figured that out yet.