That's a nice looking pin. GLWTS.
And to add my .02, I think $5K is spot on. I ascribe a lot of add'l value to a pin if the seller has taken the time to install all the protectors and LED it out, because that saves me time and I never have enough of that. So to others that posted, I could see the average asking price for a low-plays HUO that's been given the full treatment making it to $5400-$5600 easily.