hI Rob, it depends on wether you have the 110v or the 240? if it's the latter then the 5000 will be fine but if it's the 110v then you definitly need the 6500 due to power points (32a)... obviously the 6500 will work both
and as a bonus i have one of the 6500 for sale in the buy & sell section that is almost new and not a mark on it check it out