Didn't you want brand names? Or were you saying you didn't want Givson, Gibtone, and the like? Your budget would have to be at least 16k.
The AV1 is an option. You could consider Cort as well.
If you want to play Floyd and Rock in general you need some kind of overdriven sound, don't you? The Laney LX12 is an option. My advice is not to buy Marshall.
Everything's Eventual (tm)
Scarborough Fair/Canticle (Cover)