However many HBD days he was up for in the regular season, plus 20 more HBD days after the beginning of the minor league season.
I think that's right-- but I'm not sure why his service time is 0.010 and not 0.017, so I suppose it might be just 30 minor league HBD days.