Memory savers do work, but only if they’re plugged into the OBD port or clamped on before the old battery comes off. A 9V lighter-socket one is hit and miss. Ask the service which type they use and whether they keep the car powered the whole swap.