Well since u r planning to buy a processor soon...I wud suggest you go with the Kustom sound FX50
Also there are few of the stranger models that u might like in that budget of around 5K. Do check those.
Whatever you buy keep one thing in mind that Amplifier with inbuilt effects wouldnt go well with processor or pedal. So stick to Clean and distortion channels on Amplifier only..I have played on a few Kustom amps and i liked the clean tone on it....U dont need a reverb too since u can get that from ur processor.
Guitars : USA Fender Stratocaster 1981 Collectors Series, Ibanez RG420eg, Cort X6vpr Snake skin, Custom Tele Style Guitar
Processor : Boss ME 70
Amps: Laney Cub10(4 Sale), Roland Microcube
Recording : Focusrite Scarlett 2i2, Shure SM57
For Sale: Sansamp Tri-AC