Grrrrrhhhhh.
Many shops just shoot from the hip with a LARGE number- figuring 'why spend much time on a diagnosis- if this loser falls for a $3k guess, they can always report "well the compressor was bad, but wouldntcha know it- it took out X Y and Z, so another $2800 for those".
Its why when people take a car and are told "it is X", and then they buy an X and look for someone to install their X, it can be a world of pain... but you know ths/
If you just had a solid refridg service in 2018, AND they used dye, I would (1) not suspect its just normal leakage that a recharge will fix and (2) get someone with UV to look for that dye around fittings, compressor shaft, etc.
Those JBEs are diabolical.....doing a paredo of 'what might it be', a JBE is usually up there.
Does the TIS have a 'operation description' on how the AC system works/is controlled? If not a clutch, is it a variable output type? dunno, too lazy to look.
GL! (again)
Oh, Im reminded of a billboard from a local HVAC company ... Shows a silhouette of a curvy woman, hands up kinda holding her head.... it reads:
"Your wife is hot.....
.
SO FIX THE AC!!!!!"