Were both Bob Lutz and Billie Jean King professional tennis players?