There was a very nice fretless 5 string on Facebook which was around 5K which languished for weeks. It eventually got picked up by Bassbros and flipped for about 6K, which is a lot less than the fivers tend to go for. I thought the price drop was interesting - it could be a sign that Wal mania has cooled off somewhat?
Something weird happened over Covid. There were Wals in the 4K bracket here and there around 2020 and then everything went completely insane by 2022. We all saw it happen with any decent quality (esp vintage 80s) brand.
As far as Wals go, the present lack of interest in coughing up a fortune for an interesting (but clearly flawed in my book) bass is unsurprising given interest rates etc but given they are a finite resource and well-heeled buyers covet them, maybe it will tick up again. Not sure...
On a personal note I'm rather ambivalent about fretted Wals but I love the fretless Wals. I started out a Karn head and saw Stump a few times in the late 80s with the brilliant Kev Hopper aka @Spoombung doing his thing. Just wonderful fretless basses.