Thanks to Tester and Busted Knuckles-you guys were right! Repair estimate is $390, better than I thought.