Question about Blackmagic Pocket Cinema

Is the Davinci Resolve dongle included in this second-hand offer? Otherwise I think the price is exaggerated (Resolve alone costs 300.-)... Many thanks