Fortunately my manufacturer's warranty covers parts and labor for all repairs, so I will not have to pay the $1200 plus to cover the repair. Parts are not likely to be available,
