I was recently surprised to sell an old portable MiniDisc player on fb for close to $100. (FWIW, it was mint). I’m still nostalgic for them, and have another portable player and recording deck, but I’m left scratching my head at how much folks are willing to pay to pick up their first player. Shrug