Have they paid royalties to joe satch satriani yet?