What brands are good, and which ones are crap? I know Hot Springs is good (but very expensive). I'm looking to get one that will seat four people comfortably. My size constraint is roughly 7 ft by 7 ft. The max I would spend is $5K, but would prefer to be under that. What should I know about jets, ozone, etc.?