Great post! One thing, but I don’t believe that guys on the 40 man but not on the active roster make a major league salary. Also, you seem to be missing Heuer in the bullpen.
From my perspective, the bullpen will likely be as follows:
RP: Bummer*, Heuer, Rodon*, Lopez, Foster, Marshall, Burdi, Johnson
If they bring a reliever, it should be a late inning guy, but would rather commit those resources to the rotation or RF