Who played the guitar solo in Steve Miller Band's "Abracadabra" song from 1982 ?

[Phil A]

It sounds a bit like Stevie Ray Vaughan to me.