Analysis of batched service time data using Gaussian and semi-parametric kernel models. Issue 3 (17th February 2020)