Quoted from flashinstinct:
While I tend to agree, when we pay for them at around $5200ish up north..this at 4k seems like a steal.
MSRP for Metallica in the US was $4,995, so no one was paying $5200, that's for sure. Street price is obviously lower than that. Not saying this is a bad price, it's a good deal for someone for sure, but it's not "insane" to drop a few hundred dollars on a used machine that can still be bought NIB, it's called "normal".