Thermador Maint/Service manual?

Hello Everyone,
I am helping out someone in our church try to repair the oven, and could use a little navigation from a maint/service manual to help save time. Is there somebody out there that can email or point me in the right direction of one? The model is PRG 486EDG-09. I have not looked at it yet, but he told me the element dosent work on “Bake”, but does work when on “Broil”.

Thanks for any advice you have.

anyone??? Or any idea of what the issue might be?