Finite customer-pool queues