Wow. This is crazy. I was actually gonna give Vargy the benefit of the doubt and say he lasts the distance. But perhaps you're right.
In a 15 rounder, I give Benitez a strong chance for a KO between rounds 12 and 15. Vargas had a tendency to fade late. But yes, Benitez overall would have too much for Vargas to be able to deal with.