Perhaps so, but OP is selling 25 x 1 BTC, not 1 x 25 BTC.
Also btw, total FV is easily ~39.725 BTC worth, including just BCH which is easily redeemable.
Collectors dont really factor in hard forks. These arent being bought to be redeemed.
Depends which forks we're talking about. From BTG and smaller, I agree it's a lot of dust and it might not be practical. But BCH, which is pretty valuable, cannot be ignored. If coin can be peeled and BTC and BCH can both be very simply redeemed and converted to other crypto on pretty much every exchange, then the value of the coin cannot be any less than that. BCH pretty much *must* be factored, and it sets a price floor for any particular coin, doing otherwise is denying reality on own expense. Collector might not be buying to peel, but seller can do so if buyer won't offer satisfactionary premium over FV.