That's a really good site, dead on Michael Jackson hahahaha!

But some FYI's (not being a dick just letting you know)
Tommy Hearns was orthodox fighter

Tarver and Hearns should have the "lethal cross" punching style (In my opinion). That's their bread and butter punch...(see Hearns-Duran, Tarver-RJJ II)

Lennox Lewis was orthodox and the judge jab could fit him as could uppercut or lethal cross

Lamon Brewster could be slugger or hook master ( I think the uppercuts don't suit him as well as the other punching types)

Floyd Mayweather could have fast punching or sinister cross (great cab though)

Your Vargas is dead on, might need to switch to slugger punching style though

Great job on the formulas overall though, cc