If i recall well, when i bought mine, it was in the range of 60K⬠( so a little bit more USD).
I doubt that this kind of piece will go lower than retail, pure gut feeling based on nothing apart the fact that they are limited in volume "hard" to access as a direct purchase and i believe tey have some fans among collectors.
Now will you make tons of money on it.. if you look at the 5131 series, they have all raised quite a lot i believe but you will need to wait 10 years may be