I've never seen a true HUO with 9k plays in a pin that new. In theory, it can happen, but it just doesn't for several reasons. In home use, pins get played a lot when the family first gets them, which is maybe 300 plays in the first month. After that, the play really slows down for most and generally will go weeks without even getting turned on after a few months. If the family really enjoys it and continues to play it frequently, they soon want to expand their pinball collection if they have the space/money and buy another one and then that new one will get the majority of the play. If not, they will sell and buy another one just to expand their pinball desires which is how new to hobby pinball enthusiasts are born. I've never seen a scenario where a person, or family, plays 9k games in a 10 yearish span on a single machine. I'd love to hear stories where this happens but it would truly be the exception and goes against human nature.
More likely, this machine was routed for the first few years of its life which racked up the plays. Then was sold to a family, then another family, and other, and finally to the current owner who was told it was HUO becasue it was owned by another HUO when they bought who was also told the same.
At any rate, $4800 is way too high for that condition, regardless of number of plays, should be around $3700 imo. My TSPP with color DMD and other mods has only 1k plays and is flawless and I value it around $5k.