One of the mods here used to have one, but I believe he sold his, and the other guy, Chili D, he passed away some time back. I'm not aware of anyone else here owning one.
I've wanted one my whole life, but 4K seems to be the lowest prices you see these days, and I'm more of a $1500 guitar playing guy.