yes correct if it was done by a VW dealer, they will have everything logged what they did on the car including all servicing work.
i did mine at 33k just wanted to be on safe side as DSG gets funny creeping upto 40k if not serviced. even been incidednts of mechatronics packing up, which may have possibly been saved if DSG service was done.
get yours done for piece of mind. VW charge £179, and a indie will charge around $150