Thanks for the prompt and detailed response.
I assume once form 1040X becomes available, the option will show up in turbotax to amend the return.
