Thanks for your contribution. Luckily for us, Esri imagery is updated enough in this location to trace the buildings accurately. I went ahead and did this, as well as a few other edits, which you can review here:
https://www.openstreetmap.org/changeset/162992129
Happy mapping!