I doubt this is a good example. These guys are not bagholders. They're speculators, just from the frequency they run off their mouths and spew predictions depending on the ebb and flow of the tide of sentiment. Also, permabulls can still make low guesses anyway, they're perma, not short-termers.
But hell, 9k not possible in the entire three months left we have of the year? What a timid estimate, anyone of us here could have pulled that out of our asses. Might as well have gone daring and say we won't be testing 8k.
Either way, happy to gain more when everyone else wants to sell!