Rock is the only one who cares about the porn stars real names. I'd leave it alone unless they make it public or do something that gets it public (like go on TV, run for office, get busted and on the news).