Does anybody know what strings do Petrucci use on his regular 7 string guitars?.... oh and is there much difference in tone and feel between 9s and 10s.. I really ought to be less stuborn and actually try other gauges instead of my hybrid slinkys, 9s!