Back about 12-13 years ago... I saw (2) Tatio ICB's in a guy's garage. I really didn't know much about them, as I was collecting "pinballs". I passed on them for $400 each.
Fast Forward about 5 years... I drove 900+ miles round trip, for a nice one (including 2nd complete control panel with overlay), for $850. That was about 8 years ago. Still have it today.