Sorry for the box being full. Thanks for the replies.

I got lucky. I called 3 different pool places locally and found one place that had
them. It was $300 but we'll have it here and I'll install it in the spring.