Hi, I'm looking to get a tube amp for around $600. I'll probably buy used so I can get a higher end one. Two amps that I'm looking at are the Hotrod Deluxe and the Marshall DSL401. The main thing I want is a nice overdrive channel. Any other amps that I might have overlooked?