Repeat: We know this because several of them have come out (Jason Collins while active, others after they were done playing).
We know this because several of them have come out (Jason Collins while active, others after they were done playing).