Get your taxes done using TurboTax

That’s exactly what I did and will plan on doing if 8915F is not available. File a 1099r with the 1/3 deferred amount. Spoke with a CPA who said that would be fine.