actually dropped this; if they need to add a non-empty pool they can do it the long way.