Sony F717 maintenance question