I think the typical pinsiders undervalue pins...Just because you want to spend 10-15 hours shopping a routed game, does not mean that others do.
The usual buyer of a pin would want one that is fully shopped, and a shop job costs on average about $1500 from a Todd Tuckey or others in the area.
So that JP that pinside values as a 1800-2500 pin, is suddenly 3500-4k pin to an average buyer; you have to take that into account. Plus delivery, setup, warranty etc...That has value to an average buyer.
Couple that with supply and demand and voila, that's where we are right now.