actually, they can spend it instantly, if they use the InstantDex again. Chained transactions will not be a problem (iirc)