wck, didnt know the that davis carried Jet city!
ahh okay, then he needs a dual channel amp unless he has a distortion pedal.
I'd recommend either the jet city amps of the blackstar HT5 then.
Both are available at peninsula plaza basement. Jet city amps at davis and sound alchemy, blackstar amps at woodwerkz
The vox ac4tv runs about 300 at city music (peace centre) jet city amps and blackstar are mostly in the 4-500 range.
one important thing to note about gibsons.. If you're like me, I'm pretty picky about neck shape and size. Generally there are two sizes of necks, 50s rounded and 60s slim taper, i personally prefer the 60s slim taper neck, with the exception of one 50s rounded neck which i found amazingly comfortable to play with (on a 90s Gibby studio). Best to try both out to see what he wants.