I've got duplication on the easy to carry around front. I've got that Blues Deluxe version of your Hot Rod Deluxe. I love it. I think that's where we begin to differ on tone. The HRD has more snap or bite to it than my BDRI.
I wish we lived closer together. I'd be digging on that HRD. If you could find tone you liked in my Super champ XD, that'd be a great carry around amp. Not equal $$-wise, but I'm sure I'd be able to come up with the scratch.
Then again, that's about the last thing I need is another guitar amp. I digress.
You'd be able to sell that HRD for at least $350, I'd say. I think that's lower than going rate down yonder here. I know you said you're not much into selling and such, but it'd pay for the Marshall. Heck, it might get you 1/2 way to one of those nifty 5W jobs in addition to the Marshall.