I did a little more research on this and I have an objection. This isn't something I really thought about until after I posted the bid. However, I signed Kang to his original contract in Jan 2015. As of the end of his contract, he had only used 4 years of service time, even though he was listed at MAX. I removed him on the spreadsheet and placed him in the free agent area because of the MAX, thinking nothing more about it, until the other day, when it occurred to me that he had not exhausted his 6 years of service time. I was unsure of how this is normally handled, so I went to check Shohei Otahni and saw that he was signed for 5 years at 21M and then had an additional ARB year beyond.
Therefore, I believe Kang should still be on my team.
As a side note, he passed through waivers unclaimed. We automatically assign players to the minors when that takes place.