Jairo Velasco v Guillermo Vilas: stats compared | Lineball