For someone on T-Mobile it probably won't make a difference since they won't be able to use 3G (unless the 9500 really does come with WiFi and the 9530 does not)
EDIT: Both versions should work on T-Mobile
EDIT: ...and they are both referred to as Storm (Thunder was internal codename)