Only 9 made but 3 have needed restoration??
US sellers use who it was restored by as a selling point in order to get a premium price.
HEP caters to the high end pinball buyer demographic and typically takes the resto to well beyond NIB factory standard.