How much can a boxed CANON AE-1 sell for?

My grandfather bought it new back in the days when film was the main biz. He never used it because he was more of a Pentax and Nikon guy. How much can it fetch?

Read more: How much can a boxed CANON AE-1 sell for?