One of my old friends dad sold the atari jaguar. With multiple controllers and a pretty full game library. Pretty sure it was worth a pretty penny then too but he didn’t think twice about it. Would probably fetch over a grand now for the collection.