I think you may be thinking of Cheshire Figment, who passed away last year. As far as I know, Robo has never worked at WDW.
I've worked at GETTING to WDW many times.
But, you're correct, I've never gotten a paycheck from them.
I will estimate that out of over 89,000 posts, at least 25,001 of them
have been about ticket issues.
And, the late, great, Cheshire Figment and I conversed many, many times over the years
on this board.
Whenever he upgraded his ticket sticky, he'd post me with the details.
And, Mike (CF's real name) would watch my ticket responses carefully.
He'd send me a note if I got off track, and set me straight.
Mike is the only DIS member that I personally met and talked with at WDW.
He... and his ticket wisdom... will be greatly missed.