I found a smaller one online that sold for $1500, not sure about condition. This one looks to be in pretty good shape but I don't know much about them.
You'd think there would be some collector out there who would love to restore it. Maybe that's where it is now?
I think you are probably right on that. I live in a community of a lot of rich retiree's. I'm sure restoring an old road grader would be right up their alley. ;)