Thanks for the link Max. I did a bit of searching and was able to find the advertised price was 9K. Couldn't find if that was the final selling price or not.

If I recall, the post from years back had a much higher price attached to it than 9K.

Congrats to the new owner....