Kevin, can your realtor contact the previous owner and ask them where they bought the pool? If you know that, they might be able to tell you what type it is. Just a thought.