A bit late replying, but I had similar problem with my 2015 CRDi DCT.
2016 model with over 300,000kms, went fine until it suddenly lost all odd numbered gears.
My local mechanic said he didn't have the gear to property diagnose and fix it, so I took it to a Hyundai dealer. Mechanic said that as the DCT is computer controlled you need the Hyundai factory programming software to set it up properly after replacing parts.
Ended up costing a bit over $5,000 (trade price). Parts essentially as you listed. Our family has a business relationship with the dealer, and we know the service manager quite well. He said retail would have been around $6,500.