Looks like @eisenhorn hasn't received any replies!