I wouldn't spend $1200+ for a new one.
These new DSL/TSLs not only have the pots and jacks PCB mounted but the tube sockets also which is were I draw the line.
For the money find a used JCM 800 2210 channel switching head.If ya can find one from pre 1985 they have the pots,jacks non-pcb mounted also which is a nice plus. They have a smoother less shrill tone,they also have two channels,reverb and a loop just like the DSL.They prolly won't get quiet as distorted but if your looking for that just get a pedal.
Just my 29 cents and a pop can.