Yes, that's definitely it. Seems to be a Jumbo, not a small model, though. But maybe they make them in several sizes
http://www.washburn.com/acoustics/jumbo-series/

Here it is again (mute your speakers before clicking the link, there's an awful lot of erratic fans screaming :)) )
http://www.youtube.com/watch?v=NiiKa_l6Rcw

well, he barely plays it here, but I noticed it had an amazing sound when I saw them live.