It's a large model, 10+ years old, and is just a microwave oven with
no grill feature. It's in good nick though. Is it going to be worth
getting this repaired,

Chuck it.

Christian.