Warning. There is mounting evidence the stop leak material will do damage to the refrigeration system. Few pro's use it, although I suspect it does stop leaks. The stuff I have is Super Seal by ACR, paid $43 for it and never used it. I have observed it is used to repair leaks in HVAC equipment like heat pumps.
If your technician put pressure gages on the compressor and observed a vacumm, your compressor is probably damaged (Due to moisture ingestion) and must be replaced. This assumes a evaporator leak (most are). Also, the evaporator seals may be so damaged that the sealant will not work, or it will work, but the seal leak will get worse later.
If no vacumm, a super seal can be used, but the system must be purged of all refrigerant plus contaminents, a new dryer installed and the system re-charged. All this would cost about $200 with no real guarantee the system will not fail later. Probably not worth the effort and cost. The system MUST be purged of all contaminents because addition of super seal would react with any moisture and seal up critical areas like the capillary line!
For an expensive refrigerator like this, it deserves a better repair effort. A pro would verify where the leak is with flourescent dye, and probably never use super seal.
Lacking specific technician data, Your refrigerator may be frozen up, have a bad compressor, or have a cloged condenser in the back of fridg and not have a refrigerant leak.