Well as far as I'm concerned, unless Roxxy told you his name in private then you're only speculating. Just like people do all of the time ie trying to guess JJ's name or when they were trying to narrow down Fuzzy's from the list of chip counts. That's not revealing someone's personal info until/unless it's confirmed by the poster themselves that this is indeed their name and they're uncomfortable with having it out there. But if he reports the post or contacts one of the staff, then the name will be taken out and it can't be posted in the future.
Again though, this is ONLY if you're taking a guess. If he's told you or another poster (who has then told you) his name under the assumption that you/the other poster would keep it quiet, then please don't post it as you'll get nailed for it.