Thanks! No DC tax was withheld, and DC does not tax nonresidents. So, I don't think there would even be any credit to claim?
