Can't thank you enough for the very detailed explanation and reply! It does make sense as you suggested to omit K3, since all the income is US-based.
