has anyone heard of gulf coast spas? my husband and I are in the process of buying an outdoor spa and are just beginning. we wet tested hot springs and loved it, but a distributor has told me gulf coast is better. it appears the warranty is better. any advice?