After consulting manufacturer & talking to tech guys, I was given the cost with p&h of the part. My repairer of choice was a local business which meant I could take it to them & pick it up myself.They called me when they said they would & confirmed what was needed, gave me a price & it was ready for pickup in 2 days. They will certainly be given much more of my electronic business.
Approximate cost: $150