I told him that would not be necessary, but I didn’t necessarily accept the indirect word of his expert. Later, I consulted my own source, a man very familiar with this recipe, which is actually Peruvian, and who also tried this dish at this restaurant. He told me that while the manager was technically correct, the authentic version uses much milder and sweeter red onions, making them less dominating.