FWIW, Kieboom I think has used 3 options - 2019 when he came up for Trea, this year, and I think last year as well. I don't think he can be sent to AAA next year. Anyone have better information?
Spotrac shows him as having 2 left going into this year. I assume that is based on him getting a fourth. As a 2016 draftee, 2021 is his fifth full season as a pro, meaning using 3 options in the first five would automatically generate a fourth. Fedde had a fourth as well. It may also be due to 2020 possibly not counting as a "full" season for this rule: I don't know where MLB ever came out on that.
It doesnt matter. He's shown he can hit at every level except the majors. Theres nothing for him to do down there.