I don't know anything about them, either, but some people here do have spas, so I'll move this where they can see it.

Just keep in mind that this is primarily a pool forum, and that traffic is WAY down from what it is in May and June.