Hopefully it won't happen for a long long while, but I hope each of my kids takes a pipe and the rest can either be sold off or used as garden planters. I'm not around to use them so what happens to them happens to them.
We will probably see them sold separately on ebay soon. $702 for that many pipes is probably about $10 per pipe. With the exception of all the clay pipes the new owner can make a tidy profit easily.
I have told and instructed at least twice to my daughters, Do Not Under Any Circumstances Toss My Pipes. Sell Them. And my Cellar!
Of course, they never have listened to their father before, so why should I worry now that they will listen when I am smoking in the great tobacco shop in the sky, and not being barbecued below?